Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
复制标题
量化控制系统的近似仿真关系和有限抽象
DOI：
10.1007/978-3-540-71493-4_41
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
P. Tabuada
中科院分区：
文献类型：
--
作者：
P. Tabuada
在本文中，我们重新审视控制系统量化模型的构建。基于模拟关系的近似概念并在稳定性假设下，我们展示了如何在任何有限输入量化的量化控制系统的可达空间上强制采用晶格结构。当我们只对状态空间的紧凑子集感兴趣时（如具体应用中的情况），我们的结果立即为量化控制系统提供有限模型。
In this paper we revisit the construction of quantized models of control systems. Based on an approximate notion of simulation relation and under a stabilizability assumption we show how we canforcea lattice structure on the reachable space of a quantized control system for any finite input quantization. When we are only interested in a compact subset of the state space, as is the case in concrete applications, our results immediately provide a finite model for the quantized control system.