阿隆格利特·楚蒂南;布鲁斯·H·克罗。 使用多边形流动管道近似验证多面体不变混合自动机。 (英语) Zbl 0954.93020号 Vaandrager,Frits W.(编辑)等,《混合系统:计算和控制》。第二届国际研讨会,HSCC’99。Berg en Dal,荷兰,1999年3月29日至31日。诉讼程序。柏林:施普林格。勒克特。注释计算。科学。1569, 76-90 (1999). 作者提出了一种基于近似自动机计算的混合系统性能验证的计算技术。关于整个系列,请参见[Zbl 0911.00057号].审核人:A.Roose(塔林) 引用于34文件 MSC公司: 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 93B40码 系统理论中的计算方法(MSC2010) 90B25型 运筹学中的可靠性、可用性、维护和检查 关键词:验证;计算技术;混合系统;近似自动机 PDF格式BibTeX公司 XML格式引用 \textit{A.Chutinan}和\textit{B.H.Krogh},莱克特。注释计算。科学。1569,76-90(1999;Zbl 0954.93020)