亚伯拉罕·维诺德（Abraham P.Vinod）。;约瑟夫·格里森。;Meeko M.K.Oishi。 演示摘要：SReachTools:MATLAB随机可达性工具箱。 （英语） Zbl 07120165号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。264-265 (2019). 关于整个系列，请参见[Zbl 1411.93004号]. MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 关键词：线性系统;可达性;随机最优控制 软件：地理计算器库;S每个工具;CVX公司;MPT公司;cdd（光盘）;轻轨系统;Matlab公司 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。264--265（2019年；Zbl 07120165） 全文： DOI程序