Dynamic Quantization based Symbolic Abstractions for Nonlinear Control Systems

This paper studies the construction of dynamic symbolic abstractions for nonlinear control systems via dynamic quantization. Since computational complexity is a fundamental problem in the use of discrete abstractions, a dynamic quantizer with a time-varying quantization parameter is first applied to deal with this problem. Due to the dynamic quantizer, a dynamic approximation approach is proposed for the state and input sets. Based on the dynamic approximation, dynamic symbolic abstractions are constructed for nonlinear control systems, and an approximate bisimulation relation is guaranteed for the original system and the constructed dynamic symbolic abstraction. Finally, the obtained results are illustrated through a numerical example from path planning of mobile robots.

[1]  M. Hoagland,et al.  Feedback Systems An Introduction for Scientists and Engineers SECOND EDITION , 2015 .

[2]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[3]  Eduardo Sontag,et al.  Forward Completeness, Unboundedness Observability, and their Lyapunov Characterizations , 1999 .

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Paulo Tabuada,et al.  Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.

[6]  Antoine Girard,et al.  Symbolic models for stochastic switched systems: A discretization and a discretization-free approach , 2014, Autom..

[7]  Minyue Fu,et al.  Input and Output Quantized Feedback Linear Systems , 2010, IEEE Transactions on Automatic Control.

[8]  Nicola Elia,et al.  Stabilization of linear systems with limited information , 2001, IEEE Trans. Autom. Control..

[9]  Antoine Girard,et al.  Low-Complexity Quantized Switching Controllers using Approximate Bisimulation , 2012, ArXiv.

[10]  Manuel Mazo,et al.  Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.

[11]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[12]  Dimos V. Dimarogonas,et al.  Robust safety controller synthesis using tubes , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[13]  D. Delchamps.  Stabilizing a linear system with quantized state feedback , 1990 .

[14]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[15]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[16]  Junlin Xiong,et al.  Quantized Feedback Stabilization of Nonlinear Systems With External Disturbance , 2018, IEEE Transactions on Automatic Control.

[17]  P. Ramadge,et al.  Modular feedback logic for discrete event systems , 1987 .

[18]  Daniel Liberzon,et al.  Hybrid feedback stabilization of systems with quantized signals , 2003, Autom..

[19]  Nathan van de Wouw,et al.  Networked Control Systems With Communication Constraints: Tradeoffs Between Transmission Intervals, Delays and Performance , 2010, IEEE Transactions on Automatic Control.

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

[21]  Paulo Tabuada,et al.  Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems , 2008, IEEE Transactions on Automatic Control.

[22]  Antoine Girard,et al.  Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models , 2016, IEEE Transactions on Automatic Control.

[23]  Jan Lunze,et al.  A discrete-event model of asynchronous quantised systems , 2002, Autom..

[24]  Antoine Girard,et al.  Controller synthesis for safety and reachability via approximate bisimulation , 2010, Autom..

[25]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[26]  Antoine Girard,et al.  Optimal multirate sampling in symbolic models for incrementally stable switched systems , 2018, Autom..