Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

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.

[1]  S. Shankar Sastry,et al.  Hybrid Systems with Finite Bisimulations , 1997, Hybrid Systems.

[2]  P. Caines,et al.  Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..

[3]  Jun-ichi Imura,et al.  Bisimilar Finite Abstractions of Interconnected Systems , 2008, HSCC.

[4]  Antoine Girard.  Approximately Bisimilar Finite Abstractions of Stable Linear Systems , 2007, HSCC.

[5]  Jun-ichi Imura,et al.  Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control , 2008 .

[6]  Jan Lunze,et al.  Deterministic discrete-event representations of linear continuous-variable systems , 1999, Autom..

[7]  P.J. Antsaklis,et al.  Supervisory control of hybrid systems , 2000, Proceedings of the IEEE.

[8]  Jörg Raisch,et al.  Discrete approximation and supervisory control of continuous systems , 1998, IEEE Trans. Autom. Control..

[9]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[10]  Nacim Meslem,et al.  Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization , 2008, HSCC.

[11]  Paulo Tabuada,et al.  Symbolic models for nonlinear control systems using approximate bisimulation , 2007, 2007 46th IEEE Conference on Decision and Control.

[12]  Rajeev Alur,et al.  Predicate abstraction for reachability analysis of hybrid systems , 2006, TECS.

[13]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from LTL Specifications , 2006, HSCC.

[14]  Jan H. van Schuppen,et al.  Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.

[15]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[16]  M. Broucke.  A geometric approach to bisimulation and verification of hybrid systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

[17]  Antoine Girard,et al.  Approximation Metrics for Discrete and Continuous Systems , 2006, IEEE Transactions on Automatic Control.

[18]  Panos J. Antsaklis,et al.  Hybrid Systems V , 1999, Lecture Notes in Computer Science.

[19]  Paulo Tabuada.  Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems , 2007, HSCC.