Model checking
Optimal Control of Quantized Input Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Symbolic models for control systems
Acta Informatica - Hybrid Systems
Reachability analysis of multi-affine systems
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Bisimilar Finite Abstractions of Interconnected Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Brief paper: Hierarchical control system design using approximate simulation
Automatica (Journal of IFAC)
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems
| Hi-index | 0.00 |
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.