安托万·吉拉德；科拉斯·勒格尔尼奇；奥德·马勒 具有输入的线性时不变系统可达集的有效计算。 （英语） Zbl 1178.93024号 Hespanha，Joáo（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。计算机科学课堂讲稿3927257-271（2006）。 摘要：本文研究输入有界的线性时不变系统的可达状态集的计算问题。我们的主要贡献是提出了一种新的算法，大大提高了可达性分析的计算复杂性。还提出了计算可达集的过逼近和欠逼近的算法。这些算法不受包裹效应的影响，因此我们的近似值很紧。我们表明，这些近似在混合系统验证和控制综合的背景下是有用的。该算法的原型实现的性能证实了其质量，并为扩大连续系统和混合系统的验证技术带来了希望。关于整个系列，请参见[Zbl 1103.68006号]. 引用于31文件 MSC公司： 93个B03 可达集，可达性 93B40码 系统理论中的计算方法（MSC2010） 93二氧化碳 控制理论中的线性系统 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit｛A.Girard｝等人，Lect。注释计算。科学。3927257--271（2006年；Zbl 1178.93024） 全文： 内政部