Approximately bisimilar symbolic models for nonlinear control systems
From MaRDI portal
Publication:1004115
DOI10.1016/J.AUTOMATICA.2008.02.021zbMATH Open1155.93322arXiv0706.0246OpenAlexW2079042739MaRDI QIDQ1004115FDOQ1004115
Authors: Giordano Pola, Antoine Girard, Paulo Tabuada 
Publication date: 2 March 2009
Published in: Automatica (Search for Journal in Brave)
Abstract: Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model. The approximation error is a design parameter in the construction of the symbolic model and can be rendered as small as desired. Furthermore if the state space of the control system is bounded the obtained symbolic model is finite. For digital control systems, and under the stronger assumption of incremental input-to-state stability, symbolic models can be constructed through a suitable quantization of the inputs.
Full work available at URL: https://arxiv.org/abs/0706.0246
Recommendations
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Symbolic models for control systems
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
incremental stabilitynonlinear systemsdigital control systemsapproximate bisimulationsymbolic models
Cites Work
- A theory of timed automata
- Switching in systems and control
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Lyapunov approach to incremental stability properties
- O-minimal hybrid systems.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Forward completeness, unboundedness observability, and their Lyapunov characterizations
- Bisimilar control affine systems
- Approximation Metrics for Discrete and Continuous Systems
- Hybrid Systems: Computation and Control
- Supervisory Control of a Class of Discrete Event Processes
- Linear Time Logic Control of Discrete-Time Linear Systems
- Games for synthesis of controllers with partial observation.
- Modelling, state observation and diagnosis of quantised systems
- Title not available (Why is that?)
- Equivalence of switching linear systems by bisimulation
- Equivalence of Dynamical Systems by Bisimulation
- Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
- An Approximate Simulation Approach to Symbolic Control
- Symbolic models for control systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- On the reachability of quantized control systems
- Feedback Encoding for Efficient Symbolic Control of Dynamical Systems
- Title not available (Why is that?)
- Representation of Hybrid Systems by Means of Stochastic Automata
Cited In (53)
- Finite-step approximately bi-similar symbolic model for switched systems
- Finite-step alternating approximately bi-similar symbolic model for Markov jump systems
- Design of smooth hybrid controllers for a class of non-linear systems
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems
- Relating syntactic and semantic perturbations of hybrid automata
- Learning-based symbolic abstractions for nonlinear control systems
- A symbolic approach to the design of nonlinear networked control systems
- Symbolic approximate time-optimal control
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
- Bisimilar symbolic models for stochastic control systems without state-space discretization
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability
- Deadlock-free output feedback controller design based on approximately abstracted observers
- Robustly complete finite-state abstractions for verification of stochastic systems
- Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- On distributed symbolic control of interconnected systems under persistency specifications
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Controller synthesis for safety and reachability via approximate bisimulation
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Hierarchical control system design using approximate simulation
- Finite abstractions with robustness margins for temporal logic-based control synthesis
- Abstractions of varying decentralization degree for reachability of coupled multiagent systems
- Approximate bisimulation and optimization of software programs based on symbolic-numeric computation
- Symbolic models for nonlinear control systems affected by disturbances
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications
- Backstepping controller synthesis and characterizations of incremental stability
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- A modal characterization of alternating approximate bisimilarity
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- Stabilization of bilinear switching control systems by a mode-dependent average dwell time strategy
- Approximate bisimulation: a bridge between computer science and control theory
- Symbolic abstractions for nonlinear control systems via feedback refinement relation
- Symbolic models for retarded jump-diffusion systems
- Incremental stability and contraction via impulsive control for continuous-time dynamical systems
- Symbolic control design of nonlinear systems with outputs
- Approximate predictability of pseudo-metric systems
- Symbolic models for nonlinear control systems: alternating approximate bisimulations
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- An approach to solving optimal control problems of nonlinear systems by introducing detail-reward mechanism in deep reinforcement learning
- Symbolic models for infinite networks of control systems: a compositional approach
- Automated generation of dynamics-based runtime certificates for high-level control
- Towards scalable synthesis of stochastic control systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
- Simulation relations and applications in formal methods
- Approximately bisimilar symbolic model for switched systems with unstable subsystems
- Decentralized abstractions for multi-agent systems under coupled constraints
- Passivity-based analysis of sampled and quantized control implementations
- Approximately bisimilar symbolic models for randomly switched stochastic systems
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
- Minimum Attention Controller Synthesis for Omega-Regular Objectives
- Optimal multirate sampling in symbolic models for incrementally stable switched systems
Uses Software
This page was built for publication: Approximately bisimilar symbolic models for nonlinear control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1004115)
