尤金·亚萨林;Thao Dang先生;马勒,奥德 用于验证混合系统的\(d/dt\)工具。 (英语) Zbl 1010.68796号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 365-370 (2002). 小结:我们描述了一种工具(d/dt),该工具为具有不确定输入的线性连续动力学混合系统提供了自动安全验证。验证过程基于通过正交多面体过度逼近可达集的方法。该工具还允许合成一个控制器,用于在连续模式之间切换系统,以满足安全规范。关于整个系列,请参见[Zbl 0993.00049号]. 引用于20文件 MSC公司: 68单位99 计算方法和应用 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:高超声速;日/日;克洛诺斯;Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Asarin}等人,Lect。注释计算。科学。2404365-370(2002年;Zbl 1010.68796)