Approximately Bisimilar Finite Abstractions of Stable Linear Systems

DOI10.1007/978-3-540-71493-4_20zbMath1221.93075OpenAlexW27464976MaRDI QIDQ3612974

Antoine Girard

Publication date: 11 March 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_20

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete-time control/observation systems (93C55) Linear systems in control theory (93C05) Synthesis problems (93B50)

Related Items

Bisimilar Finite Abstractions of Interconnected Systems ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ Approximately bisimilar symbolic models for nonlinear control systems ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer