Approximately bisimilar symbolic models for nonlinear control systems

DOI10.1016/j.automatica.2008.02.021zbMath1155.93322arXiv0706.0246OpenAlexW2079042739MaRDI QIDQ1004115

Paulo Tabuada, Antoine Girard, Giordano Pola

Publication date: 2 March 2009

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0706.0246

zbMATH Keywords

nonlinear systemsincremental stabilitydigital control systemsapproximate bisimulationsymbolic models

Mathematics Subject Classification ID

Related Items (41)

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 ⋮ Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability ⋮ Minimum Attention Controller Synthesis for Omega-Regular Objectives ⋮ Bounded invariant verification for time-delayed nonlinear networked dynamical systems ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Symbolic abstractions for nonlinear control systems via feedback refinement relation ⋮ Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Approximate predictability of pseudo-metric systems ⋮ Symbolic models for stochastic switched systems: A discretization and a discretization-free approach ⋮ Simulation relations and applications in formal methods ⋮ Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems ⋮ Towards scalable synthesis of stochastic control systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ An approach to solving optimal control problems of nonlinear systems by introducing detail-reward mechanism in deep reinforcement learning ⋮ Passivity-based analysis of sampled and quantized control implementations ⋮ Backstepping controller synthesis and characterizations of incremental stability ⋮ Controller synthesis for safety and reachability via approximate bisimulation ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Symbolic models for nonlinear time-delay systems using approximate bisimulations ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ Deadlock-free output feedback controller design based on approximately abstracted observers ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Symbolic models for nonlinear control systems affected by disturbances ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Symbolic approximate time-optimal control ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Symbolic models for retarded jump-diffusion systems ⋮ Hierarchical control system design using approximate simulation ⋮ Stabilization of bilinear switching control systems by a mode-dependent average dwell time strategy ⋮ Incremental stability and contraction via impulsive control for continuous-time dynamical systems ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Learning-based symbolic abstractions for nonlinear control systems ⋮ Robustly complete finite-state abstractions for verification of stochastic systems

Uses Software

• Sostools

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic models for control systems
• A theory of timed automata
• Games for synthesis of controllers with partial observation.
• Switching in systems and control
• Modelling, state observation and diagnosis of quantised systems
• O-minimal hybrid systems.
• Bisimilar control affine systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Supervisory Control of a Class of Discrete Event Processes
• Representation of Hybrid Systems by Means of Stochastic Automata
• An Approximate Simulation Approach to Symbolic Control
• On the reachability of quantized control systems
• A Lyapunov approach to incremental stability properties
• Equivalence of Dynamical Systems by Bisimulation
• Feedback Encoding for Efficient Symbolic Control of Dynamical Systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Approximation Metrics for Discrete and Continuous Systems
• Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
• Hybrid Systems: Computation and Control
• Equivalence of switching linear systems by bisimulation
• Forward completeness, unboundedness observability, and their Lyapunov characterizations

This page was built for publication: Approximately bisimilar symbolic models for nonlinear control systems