Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

摘要

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 can force a 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.