杜吉拉拉，帕拉萨拉·斯里达尔;马赫什·维斯瓦纳坦 线性系统的节约、基于仿真的验证。 （英语） 兹比尔1411.68064 Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。2016年7月17日至23日在加拿大安大略省多伦多举行的2016年CAV第28届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779, 477-494 (2016). 小结：我们提出了一种用很少的仿真来验证线性系统（可能是时变的）安全特性的技术。对于维数为（n）的线性系统，我们的技术需要（n+1）模拟运行。这与当前基于模拟的方法不同，其中模拟的数量要么取决于凸多面体初始集中的顶点数量，要么取决于不安全集与可达状态集的接近程度。我们的算法的核心是利用线性系统的叠加原理。我们的算法计算可达状态集的过近似和欠近似。关于整个系列，请参见[Zbl 1342.68010号]。 引用于13文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 93二氧化碳 控制理论中的线性系统 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93C83号 涉及计算机的控制/观察系统（过程控制等） PDF格式BibTeX公司 XML格式引用 \textit{P.S.Duggirala}和\textit{M.Viswanathan}，莱克特。注释计算。科学。9779、477--494（2016；Zbl 1411.68064） 全文： 内政部