Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems

DOI10.1007/S10626-017-0262-9MaRDI QIDQ1790657zbMATH OpenOpenAlexFDO

Authors Pavithra Prabhakar, Jun Liu, Richard M. Murray

Publication date 2 October 2018

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10626-017-0262-9

zbMATH Keywords

stabilityhybrid systemsinput-to-state stabilitybisimulationsabstractionsincremental input-to-state stability

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Input-output approaches in control theory (93D25)

Recommendations

• Pre-orders for reasoning about stability
• On Bicontinuous Bisimulation and the Preservation of Stability
• Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems
• Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances
• Approximate simulation relations for hybrid systems

Cites work

• scientific article; zbMATH DE number 1001723 (Why is no real title available?)
• scientific article; zbMATH DE number 5347321 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 2017358 (Why is no real title available?)
• A Lyapunov approach to incremental stability properties
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Characterizations of input-to-state stability for hybrid systems
• Class-\(\mathcal K \mathcal L\) estimates and input-to-state stability analysis of impulsive switched systems
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
• Hybrid dynamical systems
• Input-to-state stability and interconnections of discontinuous dynamical systems
• Input-to-state stability of switched systems and switching adaptive control
• Input/output-to-state stability and state-norm estimators for switched nonlinear systems
• Lyapunov conditions for input-to-state stability of impulsive systems
• On Bicontinuous Bisimulation and the Preservation of Stability
• On characterizations of the input-to-state stability property
• Pre-orders for reasoning about stability
• Set-valued analysis

Cited in

(4)

• Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability
• Input-output-to-state stability of systems related through simulation relations
• Pre-orders for reasoning about stability
• On Bicontinuous Bisimulation and the Preservation of Stability

This page was built for publication: Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems

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