输入-输出仿真方法用于线性时态逻辑规范的多变量仿射系统控制
摘要：输入-输出模拟方法用于线性时态逻辑（LTL）规范下多仿射系统的控制。通过分块将状态空间划分为满足原子LTL命题的矩形，并研究包括驱动从矩形开始的所有轨迹通过一个面退出以及将系统稳定向一个期望点的矩形上的多仿射系统的控制。利用所提出的控制器，构建了一个有限抽象的转移系统，证明了该转移系统与多仿射系统的矩形转移系统之间存在输入-输出模拟关系。由于输入-输出模拟保留了LTL属性，因此，通过为抽象转移系统设计一个非阻塞监控器并持续实施产生的监控器来实现对多仿射系统的LTL规范的控制器合成。
作者：Yajuan Sun and Hai Lin and Ben M. Chen
论文ID：1203.1740
分类：Systems and Control
分类简称：cs.SY
提交时间：2012-05-01