阿尔贝托·本普拉德；斯蒂法诺·迪·凯拉诺；豪尔赫·Jülvez 积分连续时间混合自动机的基于事件的模型预测控制与验证。 （英语） 兹比尔1178.68306 Hespanha，Joáo（编辑）等人，《混合系统：计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33170-0/pbk）。计算机科学课堂讲稿392793-107（2006）。 摘要：针对一类积分连续时间混合自动机（icHA），提出了一种具有保证闭环收敛特性的事件驱动模型预测控制方案。在将icHA转换为相应的事件驱动表示（允许通过混合整数规划计算模型预测控制动作）后，证明了确保事件渐近和时间渐近收敛的充分条件。本文还展示了如何使用相同的建模方法来有效地解决安全特性验证问题。关于整个系列，请参见[Zbl 1103.68006号]. 引用于1文件 MSC公司： 65年第68季度 形式语言和自动机 60年第68季度 规范和验证（程序逻辑、模型检查等） 93立方 由微分方程以外的函数关系控制的控制/观测系统（如混合系统和开关系统） 软件：高超声速；HYSDEL公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Bemporad}等人，Lect。注释计算。科学。3927、93-107（2006年；Zbl 1178.68306） 全文： DOI程序