苏米特·古尔瓦尼；阿什什·蒂瓦里 基于约束的混合系统分析方法。 （英语） Zbl 1155.68437号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学讲义5123190-203（2008）。 摘要：本文提出了一种基于约束的技术，用于发现一类丰富的归纳不变量（有界度多项式不等式的布尔组合），以验证混合系统。关键思想是为未知不变量引入一个模板，然后将验证条件转换为\（\ exists\ for all \）约束，其中模板未知是存在量化的，状态变量是普遍量化的。连续动力学的验证条件编码为系统不从不变集边界上的任何点退出不变集。使用Farkas引理将约束转换为约束。使用位向量决策过程求解约束。我们给出了初步的实验结果，证明了我们解决由真实混合系统模型生成的所有约束的方法的可行性。关于整个系列，请参见[Zbl 1139.68005号]. 引用于28文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulwani}和\textit{A.Tiwari}，莱克特。注释计算。科学。5123190-203（2008年；Zbl 1155.68437） 全文： 内政部