Hybrid Systems with Finite Bisimulations
Hybrid Systems V
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Predicate abstraction for reachability analysis of hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
HSCC '08 Proceedings of the 11th international workshop 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
Approximately bisimilar finite abstractions of stable linear systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Approximate simulation relations and finite abstractions of quantized control systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
A fully automated framework for control of linear systems from LTL specifications
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Deterministic discrete-event representations of linear continuous-variable systems
Automatica (Journal of IFAC)
| Hi-index | 0.01 |
This paper proposes a design method for discrete abstractions of nonlinear systems using multi-resolution quantizer, which is capable of handling state dependent approximation precision requirements. To this aim, we extend the notion of quantizer embedding, which has been proposed by the authors' previous works as a transformation from continuous-state systems to discrete-state systems, to a multi-resolution setting. Then, we propose a computational method that analyzes how a locally generated quantization error is propagated through the state space. Based on this method, we present an algorithm that generates a multi-resolution quantizer with a specified error precision by finite refinements. Discrete abstractions produced by the proposed method exhibit non-uniform distribution of discrete states and inputs.