Approximately Bisimilar Finite Abstractions of Stable Linear Systems

DOI10.1007/978-3-540-71493-4_20MaRDI QIDQ3612974zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Bisimilar Finite Abstractions of Interconnected Systems
• Approximate bisimulation relations for constrained linear systems
• Approximate simulation relations for hybrid systems
• Approximate bisimulation: a bridge between computer science and control theory
• Finite abstractions for hybrid systems with stable continuous dynamics

Cited in

(17)

• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Approximate bisimulation relations for constrained linear systems
• Asynchronous l-complete approximations
• Approximate simulation relations for hybrid systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Approximately bisimilar symbolic models for nonlinear control systems
• Finite abstractions for hybrid systems with stable continuous dynamics
• Controller synthesis for safety and reachability via approximate bisimulation
• scientific article; zbMATH DE number 645778 (Why is no real title available?)
• A modal characterization of alternating approximate bisimilarity
• Approximate bisimulation: a bridge between computer science and control theory
• Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
• Hybrid Systems: Computation and Control
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
• Approximate equivalence and synchronization of metric transition systems
• Approximate abstractions of control systems with an application to aggregation
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems

This page was built for publication: Approximately Bisimilar Finite Abstractions of Stable Linear Systems

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