S每个工具 swMATH ID: 30627 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Meeko M.K.Oishi。 描述： SReachTools:MATLAB随机可达性工具箱。我们提出了SReachTools，这是一个开源的MATLAB工具箱，用于执行受随机扰动扰动的线性、潜在时变、离散时间系统的随机可达性。工具箱解决了目标管的随机可达性问题，其中还包括终端时间命中可达无效和生存性问题。目标管问题的随机可达性使随机系统的状态在给定时间范围内保持在时变目标集集合内的可能性最大化，同时尊重系统动力学和有界控制权限。SReachTools实现了几种基于凸优化、计算几何和傅里叶变换的新算法，以有效计算随机到达集的过逼近和欠逼近。SReachTools可用于执行闭环系统的概率验证，也可通过开环、仿射和状态反馈控制器执行控制器综合。代码库可在线获取，网址为https://github.com/unm-hscl/SEachTools（https://github.com/unm-hscl/SEachTools），并且它被设计为可扩展和用户友好。 主页： https://dl.acm.org/citation.cfm？doid=3302504.3311809 源代码： https://github.com/unm-hscl/SReachTools网站 依赖项： Matlab公司 关键词： 线性系统；可达性；随机最优控制 相关软件： ProbReach公司；FAUST2型；AMYTISS公司；棱镜；斯托克Hy；MPT公司；斯科特；p面；SReach公司；Sostools公司；github；地理计算器库；轻轨系统；CVX公司；Matlab公司；cdd（光盘）；AROC公司；莫塞克；YALMIP公司；OpenAI健身房 引用于： 10文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SReachTools:MATLAB随机可达性工具箱。 Zbl 07120138号亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森。；Meeko M.K.Oishi。 2019 全部的 前5名21位作者引用 5 Meeko M.K.Oishi。 三 约瑟夫·格里森。 三 萨代赫·苏贾尼 三 亚伯拉罕·维诺德（Abraham P.Vinod）。 2 亚历山德罗·阿巴特 2 阿波法兹·拉瓦伊 2 亚当·索普。 2 马吉德·扎马尼 1 Badings，Thom S。 1 塞缪尔·库根 1 马克森·杜特雷克斯 1 苏菲·海瑟特 1 尼尔斯·詹森 1 马哈茂德·哈立德 1 肯德里克·奥尔蒂斯。 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 利西奥·罗芒 1 塞萨尔·桑托约 1 奥利弗·舍恩 1 玛丽·斯托琳加 1 van Huijgevoort，Birgit C。 2篇连载文章中引用 4 Automatica公司 1 人工智能研究杂志 在3个字段中引用 10 系统论；控制（93至XX） 5 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 按年份列出的引文