非线性控制系统的符号模型：交替近似互模拟
最优化与控制
2007-07-31 v1
摘要
符号模型是连续系统的抽象描述，其中符号代表连续状态的聚合。近年来，人们对将符号模型作为减轻控制设计复杂性的工具越来越感兴趣。事实上，符号模型使得在监控控制和算法博弈论的背景下，能够使用众所周知的算法来进行控制器综合。自20世纪90年代以来，许多研究人员面临着识别允许符号模型的动力和控制系统类别的问题。在本文中，我们通过关注受干扰影响的控制系统，在这一研究方向上取得了进一步进展。我们的主要贡献是证明受干扰的增量全局渐近稳定非线性控制系统允许符号模型。当将这些结果专门应用于线性系统时，我们表明这些符号模型可以容易地构造。
引用
@article{arxiv.0707.4205,
title = {Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations},
author = {Giordano Pola and Paulo Tabuada},
journal= {arXiv preprint arXiv:0707.4205},
year = {2007}
}