Bisimilar Finite Abstractions of Interconnected Systems

DOI10.1007/978-3-540-78929-1_37zbMath1144.93301OpenAlexW2136354407MaRDI QIDQ3523133

Yuichi Tazaki, Jun-Ichi Imura

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

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Bisimilar Finite Abstractions of Interconnected Systems