离散控制Matlab代码-stochasticbarrierfunctions:该存储库包含论文“通过障碍函数对随机系统的有限时间安全性进行验

[{"title":"（ 19 个子文件 26KB ） 离散控制Matlab代码-stochasticbarrierfunctions:该存储库包含论文“通过障碍函数对随机系统的有限时间安全性进行验","children":[{"title":"stochasticbarrierfunctions-master","children":[{"title":"README.md <span style='color:#111;'> 1.88KB </span>","children":null,"spread":false},{"title":"casestudy2","children":[{"title":"cs2_initux.m <span style='color:#111;'> 1.25KB </span>","children":null,"spread":false},{"title":"cs2algo1_CCTA.m <span style='color:#111;'> 4.45KB </span>","children":null,"spread":false},{"title":"cs2_verifctrl.m <span style='color:#111;'> 2.86KB </span>","children":null,"spread":false},{"title":"cs2_verif.m <span style='color:#111;'> 2.86KB </span>","children":null,"spread":false},{"title":"cs2_main.m <span style='color:#111;'> 780B </span>","children":null,"spread":false},{"title":"cs2algo3_CCTA.m <span style='color:#111;'> 6.77KB </span>","children":null,"spread":false},{"title":"cs2_montecarlo.m <span style='color:#111;'> 3.88KB </span>","children":null,"spread":false}],"spread":true},{"title":"casestudy1","children":[{"title":"cs1algo1_CCTA.m <span style='color:#111;'> 4.57KB </span>","children":null,"spread":false},{"title":"cs1_verif.m <span style='color:#111;'> 2.01KB </span>","children":null,"spread":false},{"title":"cs1algo3_CCTA.m <span style='color:#111;'> 7.18KB </span>","children":null,"spread":false},{"title":"cs1_montecarlo.m <span style='color:#111;'> 2.82KB </span>","children":null,"spread":false},{"title":"cs1_main.m <span style='color:#111;'> 766B </span>","children":null,"spread":false}],"spread":true},{"title":"casestudy3","children":[{"title":"cs3_main.m <span style='color:#111;'> 814B </span>","children":null,"spread":false},{"title":"cs3_initux.m <span style='color:#111;'> 3.07KB </span>","children":null,"spread":false},{"title":"cs3algo1_TAC.m <span style='color:#111;'> 2.68KB </span>","children":null,"spread":false},{"title":"cs3_verifctrl.m <span style='color:#111;'> 4.24KB </span>","children":null,"spread":false},{"title":"cs3algo3_TAC.m <span style='color:#111;'> 6.41KB </span>","children":null,"spread":false},{"title":"cs3_verif.m <span style='color:#111;'> 4.53KB </span>","children":null,"spread":false}],"spread":true}],"spread":true}],"spread":true}]