时限约束下的多变量仿射系统的时间逻辑控制
摘要：在本文中，我们考虑了在给定时间内控制动力系统使其轨迹满足时间逻辑属性的问题。我们重点研究多变形系统和给定为状态空间中的矩形区域上的句法可安全线性时态逻辑公式的规范。所提出的算法基于估计面位可达性问题的时间界限，并解决了一个在加权转移系统和强制满足规范的自动机之间的乘积上的时间最优可达性问题。随机优化算法用于迭代改进解决方案。
作者：Ebru Aydin Gol and Calin Belta
论文ID：1203.5683
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-03-27