离散控制Matlab代码通过屏障功能进行随机控制和验证
该存储库包含论文“通过障碍函数对随机系统的有限时间安全性进行验证和控制”(CCTA
2019)和“有限函数随机系统验证和控制的障碍函数方法”中的案例研究代码(提交中)
)
作者:塞萨尔·桑托约(Cesar
Santoyo)
电子邮件:
如有任何疑问,请通过上述电子邮件给作者发送电子邮件。
所需软件:
的MATLAB
SOSTOOLS()
SDPT3()
注意:这些案例研究是使用MATLAB
2018构造的。此外,还需要符号工具箱。
可以在没有符号工具箱的情况下执行代码(有关详细信息,请参见SOSTOOLs手册)。
案例研究1:
cs1_main.m:
运行该文件将运行用于产生本文结果的算法。
上面提到了所需的工具箱。
您可以单独运行各个依赖项,以便更仔细地查看相应的结果。
此案例研究是针对一维随机动力学的。
案例研究2:
cs2_main.m:
运行该文件将运行用于产生本文结果的算法。
上面提到了所需的工具箱。
您可以单独运行各个依赖项,以便更仔细地查看相应的结果。
这些结果是针对二维随机动力学的。
案例3:
cs3_main.m
2023-03-07 15:33:59
26KB
系统开源
1