SReachTools公司

SReachTools:MATLAB随机可达性工具箱。我们提出了SReachTools,一个开源的MATLAB工具箱,用于执行受随机扰动扰动的线性、潜在时变、离散时间系统的随机可达性。工具箱解决了目标管的随机可达性问题,还包括终端时间命中-到达-避免和生存问题。目标管问题的随机可达性使随机系统的状态在给定的时间范围内保持在一组时变目标集合内的可能性最大化,同时考虑系统动力学和有界控制权。SReachTools实现了几种基于凸优化、计算几何和傅立叶变换的新算法,以有效地计算随机范围集的过近似和欠近似。SReachTools可用于闭环系统的概率验证,也可通过开环、仿射和状态反馈控制器进行控制器综合。代码库可以在https://github.com/unm-hscl/SReachTools上在线获得,它的设计是可扩展的,并且用户友好。