Bisimilar Finite Abstractions of Interconnected Systems
From MaRDI portal
Publication:3523133
DOI10.1007/978-3-540-78929-1_37zbMath1144.93301OpenAlexW2136354407MaRDI QIDQ3523133
Publication date: 2 September 2008
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-78929-1_37
Design techniques (robust design, computer-aided design, etc.) (93B51) Decentralized systems (93A14)
Related Items (13)
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems ⋮ Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach ⋮ Bisimilar Finite Abstractions of Interconnected Systems ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Optimal multirate sampling in symbolic models for incrementally stable switched systems ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer ⋮ Hierarchical control system design using approximate simulation ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Verification of approximate opacity for switched systems: a compositional approach ⋮ Stabilization of finite automata with application to hybrid systems control ⋮ Symbolic models for infinite networks of control systems: a compositional approach ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems
Cites Work
- Compositional abstractions of hybrid control systems
- Bisimilar Finite Abstractions of Interconnected Systems
- Approximately Bisimilar Finite Abstractions of Stable Linear Systems
- Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
- A timed discrete-event abstraction of continuous-variable systems
- Approximation Metrics for Discrete and Continuous Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Bisimilar Finite Abstractions of Interconnected Systems
