阿尔贝托·本普拉德;曼弗雷德·莫拉里 通过数学编程验证混合系统。 （英语） Zbl 0954.93019号 Vaandrager，Frits W.（编辑）等，《混合系统：计算和控制》。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1569, 31-45 (1999). 实际上，物理系统由嵌入式控制器控制。必须确保此类“混合”系统的行为符合要求，即需要验证混合系统的算法。作者提出了一种基于线性规划和混合整数线性规划的验证方法。关于整个系列，请参见[Zbl 0911.00057号].审核人：A.Roose（塔林） 引用于7文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 90C05（二氧化碳） 线性规划 90B25型 运筹学中的可靠性、可用性、维护和检查 关键词：混合系统;验证程序;混合整数线性规划 PDF格式BibTeX公司 XML格式引用 \textit{A.Bemporad}和\textit{M.Morari}，莱克特。注释计算。科学。1569，31-45（1999；Zbl 0954.93019）