控制系统的定时游戏抽象
摘要：通过定时游戏自动机提出了一种用于抽象控制系统的方法，并旨在实现自动控制器合成。所提出的抽象基于使用由Lyapunov函数生成的正、负不变集对控制系统的状态空间进行划分。这种划分确保了控制系统的向量场与单元体的表面横截相交，从而引出了抽象的一些理想属性。为了能够对丰富的控制系统进行抽象，扩展了定时游戏自动机的更新映射。设定了关于状态空间和控制的划分条件以得到合理的抽象。最后，通过示例演示了该方法在与导航相关的控制问题上的应用。
作者：Christoffer Sloth, Rafael Wisniewski
论文ID：1012.5113
分类：Systems and Control
分类简称：cs.SY
提交时间：2010-12-24