Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

DOI10.1007/978-3-540-78929-1_15MaRDI QIDQ3523108zbMATH OpenOpenAlexFDO

Authors Antoine Girard, Giordano Pola, Paulo Tabuada

Publication date 2 September 2008

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83) Application models in control theory (93C95)

Abstract: Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable progress on stability and stabilization of switched systems, the constant evolution of technology demands that we make similar progress with respect to different, and perhaps more complex, objectives. This paper describes one particular approach to address these different objectives based on the construction of approximately equivalent (bisimilar) symbolic models for switched systems. The main contribution of this paper consists in showing that under standard assumptions ensuring incremental stability of a switched system (i.e. existence of a common Lyapunov function, or multiple Lyapunov functions with dwell time), it is possible to construct a finite symbolic model that is approximately bisimilar to the original switched system with a precision that can be chosen a priori. To support the computational merits of the proposed approach, we use symbolic models to synthesize controllers for two examples of switched systems, including the boost DC-DC converter.

Recommendations

• Approximately bisimilar symbolic model for switched systems with unstable subsystems
• Approximately bisimilar symbolic models for nonlinear control systems
• Low-complexity quantized switching controllers using approximate bisimulation
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Optimal multirate sampling in symbolic models for incrementally stable switched systems

Cited in

(19)

• Approximately bisimilar symbolic models for nonlinear control systems
• Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
• Augmented finite transition systems as abstractions for control synthesis
• Towards scalable synthesis of stochastic control systems
• Automated generation of dynamics-based runtime certificates for high-level control
• Optimal multirate sampling in symbolic models for incrementally stable switched systems
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• Approximately bisimilar symbolic model for switched systems with unstable subsystems
• Bisimulations for neural network reduction
• Low-complexity quantized switching controllers using approximate bisimulation
• Approximately bisimilar symbolic models for randomly switched stochastic systems
• Robust and Nonlinear Control: literature survey (No. 17)
• Crossing the Bridge between Similar Games
• Finite abstractions for hybrid systems with stable continuous dynamics
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Supervisory control for collision avoidance in vehicular networks using discrete event abstractions
• Quantifying conformance using the Skorokhod metric
• Finite-step approximately bi-similar symbolic model for switched systems
• Verification of continuous dynamical systems by timed automata

This page was built for publication: Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3523108)