Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
DOI10.1007/s10626-017-0262-9zbMath1398.93307OpenAlexW2765888560MaRDI QIDQ1790657
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
stabilityhybrid systemsinput-to-state stabilitybisimulationsabstractionsincremental input-to-state stability
Lyapunov and other classical stabilities (Lagrange, Poisson, (L^p, l^p), etc.) in control theory (93D05) Input-output approaches in control theory (93D25) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Class-\(\mathcal K \mathcal L\) estimates and input-to-state stability analysis of impulsive switched systems
- On characterizations of the input-to-state stability property
- Input-to-state stability of switched systems and switching adaptive control
- Characterizations of input-to-state stability for hybrid systems
- Input/output-to-state stability and state-norm estimators for switched nonlinear systems
- Lyapunov conditions for input-to-state stability of impulsive systems
- Input-to-state stability and interconnections of discontinuous dynamical systems
- Pre-orders for reasoning about stability
- On Bicontinuous Bisimulation and the Preservation of Stability
- Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
- Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
- A Lyapunov approach to incremental stability properties
- Hybrid dynamical systems
- Set-valued analysis
This page was built for publication: Simulations and bisimulations for analysis of stability with respect to inputs of hybrid systems
