Equivalence of switching linear systems by bisimulation
From MaRDI portal
Publication:5758269
DOI10.1080/00207170500380839zbMath1122.93319OpenAlexW2151745809MaRDI QIDQ5758269
Maria Domenica Di Benedetto, Arjan J. Van der Schaft, Giordano Pola
Publication date: 3 September 2007
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/equivalence-of-switching-linear-systems-by-bisimulation(5d325ea4-45bb-4fc5-b330-299628fba921).html
Linear systems in control theory (93C05) Minimal systems representations (93B20) Transformations (93B17) Algebraic methods (93B25)
Related Items (9)
Theory and computation of discrete state space decompositions for hybrid systems ⋮ Bisimulations of Probabilistic Boolean Networks ⋮ Stabilizability of linear switching systems ⋮ On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems ⋮ A complexity reduction approach to detectability of switching systems ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Controller synthesis for bisimulation equivalence ⋮ A structural approach to detectability for a class of hybrid systems ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation
Cites Work
- Interactive Markov chains. And the quest for quantified quality
- Switched controller synthesis for the quadratic stabilisation of a pair of unstable linear systems
- Controllers for reachability specifications for hybrid systems
- Bisimilar linear systems.
- O-minimal hybrid systems.
- Bisimilar control affine systems
- Compositionality issues in discrete, continuous, and hybrid systems
- Dynamical systems which undergo switching
- Computation of Maximal Safe Sets for Switching Systems
- Equivalence of Dynamical Systems by Bisimulation
- Supervisory control of families of linear set-point controllers - Part I. Exact matching
This page was built for publication: Equivalence of switching linear systems by bisimulation
