佩斯，戈登;杰拉尔多·施奈德 多边形混杂系统状态空间约简的静态分析。 （英语） Zbl 1141.68438号 Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202306-321（2006）。 摘要：多边形混合系统（Polygonal hybrid systems，SPDI）是平面混合自动机的一个子类，可以用分段常微分包含来表示。相图的可达性问题以及某些对象的计算，即此类系统的生存性、可控性和不变性核，都是可判定的。在本文中，我们展示了如何计算SPDI相图的另一个对象，即半分界线曲线，并展示了如何使用相图来减少状态空间，以优化可达性分析。关于整个系列，请参见[Zbl 1137.68001号]. 引用于三文件 理学硕士： 65年第68季度 形式语言和自动机 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 软件：SPeeDI公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Pace}和\textit{G.Schneider}，莱克特。注释计算。科学。4202306--321（2006；Zbl 1141.68438） 全文： 内政部 链接