Approximately Bisimilar Finite Abstractions of Stable Linear Systems
DOI10.1007/978-3-540-71493-4_20zbMATH Open1221.93075OpenAlexW27464976MaRDI QIDQ3612974FDOQ3612974
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
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
Synthesis problems (93B50) Design techniques (robust design, computer-aided design, etc.) (93B51) Linear systems in control theory (93C05) Discrete-time control/observation systems (93C55)
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
- Title not available (Why is that?)
- A modal characterization of alternating approximate bisimilarity
- Approximate bisimulation: a bridge between computer science and control theory
- Hybrid Systems: Computation and Control
- Synthesis using approximately bisimilar abstractions, state-feedback controllers for safety specifications
- 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)
