离散时间分段仿射系统的符号模型与控制：一种近似仿真方法
系统与控制
2013-05-10 v3
摘要
符号模型最近被用作纯连续系统和混合系统形式化验证与控制设计的可靠数学形式体系。在本文中，我们提出了一系列符号模型，它们在近似仿真的意义上逼近离散时间分段仿射 (PWA) 系统，并在所谓的仿真度量中收敛于该 PWA 系统。随后探讨了符号控制设计问题，其规范以非确定性有限自动机的形式表达。我们推导出一系列符号控制策略，这些策略在仿真度量的意义下收敛于解决给定 PWA 系统规范的最大控制器。
引用
@article{arxiv.1202.1372,
title = {Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach},
author = {Giordano Pola and Maria D. Di Benedetto},
journal= {arXiv preprint arXiv:1202.1372},
year = {2013}
}
备注
11 pages, 2 figures, 1 table