李，C.K。；巴顿，P.I。 线性混合系统的全局动态优化。 （英语） Zbl 1176.90619号 Floudas，Christodoulos A.（编辑）等人，《全局优化的前沿》。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-7699-1/hbk）。非凸优化。申请。74, 289-312 (2004). 摘要：混合系统具有离散状态和连续状态行为，已成为需要具有嵌入不连续性的详细动态模型的各种应用程序的建模框架选择。这些应用中的经济、环境、安全和质量考虑因素，例如安全操作程序的自动化设计和嵌入式系统的正式验证，强烈推动了混合系统全局优化算法和工具的开发。对于安全关键任务（如正式验证），在ε最优中找到全局解决方案至关重要。最近，人们提出了一种确定性算法，用于线性时变混合系统在连续时间域的全局优化，前提是过渡时间和模式序列是固定的。通过提出一种在过渡时间固定时确定最佳模式序列的方法，扩展了这项工作。通过引入二元决策变量，同时保持底层动态系统的线性，提出了该问题的重新表述。这使得最近发展起来的线性时变连续系统的凸性理论可以用来构造混合整数动态优化问题的凸松弛，从而可以使用非凸外近似在有限次迭代中找到全局解。有关整个系列，请参见[Zbl 1031.90001号]. 引用于1文件 MSC公司： 90立方厘米 动态编程 91磅62 经济增长模型 软件：数据包 PDF格式BibTeX公司 XML格式引用 \textit{C.K.Lee}和\textit{P.I.Barton}，非凸优化。申请。74289-312（2004年；兹bl 1176.90619）