安托万·吉拉德;Le Guernic，科拉斯 用于混合系统可达性分析的区域图/超平面交集。 （英语） Zbl 1144.93324号 Egerstedt，Magnus（编辑）等人，《混合系统：计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78928-4/pbk）。计算机科学课堂讲稿4981215-228（2008）。 摘要：在本文中，我们研究了具有（可能是高维）线性连续动力学和切换超平面定义的保护的混合系统的可达集的计算问题。对于连续动力学的可达性分析，我们使用了一种基于区域图的有效近似算法。为了将此技术用于混合系统的分析，我们还必须以令人满意的（即可扩展和准确的）方式处理离散转换。为此，我们需要近似连续可达集与启用离散变换的保护的交集。本文的主要贡献是提出了一种新的算法，用于有效计算（可能是高阶）带状图与超平面的交集的紧超逼近。通过考虑混合系统可达性分析的两个示例，我们展示了该方法的准确性和可扩展性。关于整个系列，请参见[Zbl 1142.93004号]. 引用于20文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93个B03 可达集，可达性 软件：OCaml公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{C.Le Guernic}，莱克特。注释计算。科学。4981、215--228（2008年；Zbl 1144.93324） 全文： 内政部