皮尔雷·梅耶(Pierre-Jean Meyer);亚历克斯·德文波特;穆拉特·阿卡克 TIRA:区间可达性分析工具箱。 (英语) Zbl 07120158号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。224-229 (2019). 引用于2文件 MSC公司: 第68季度第45季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统) 关键词:收缩;生长受限;混合单调性;单调性;非线性系统;可达性分析;敏感 软件:Matlab公司;斯科特;椭圆工具箱;TIRA公司;PESSOA公司;SpaceEx公司;流量* PDF格式BibTeX公司 XML格式引用 \textit{P.-J.Meyer}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。224--229(2019;Zbl 07120158) 全文: 内政部 arXiv公司