Bisimilar Finite Abstractions of Interconnected Systems

DOI10.1007/978-3-540-78929-1_37MaRDI QIDQ3523133zbMATH OpenOpenAlexFDO

Authors 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

Decentralized systems (93A14) Design techniques (robust design, computer-aided design, etc.) (93B51)

Recommendations

• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Compositional construction of approximate abstractions
• Constructing control system abstractions from modular components
• Compositional abstractions of hybrid control systems
• scientific article; zbMATH DE number 2085342

Cites work

• A timed discrete-event abstraction of continuous-variable systems
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximation Metrics for Discrete and Continuous Systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Compositional abstractions of hybrid control systems
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1301620 (Why is no real title available?)
• scientific article; zbMATH DE number 2085342 (Why is no real title available?)

Cited in

(20)

• Hierarchical control system design using approximate simulation
• Decentralized abstractions for multi-agent systems under coupled constraints
• Optimal multirate sampling in symbolic models for incrementally stable switched systems
• Verification of approximate opacity for switched systems: a compositional approach
• Symbolic models for infinite networks of control systems: a compositional approach
• Approximate abstractions of control systems with an application to aggregation
• Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
• Finite horizon discrete models for multi-agent control systems with coupled dynamics
• Compositional synthesis of opacity-preserving finite abstractions for interconnected systems
• Compositional construction of approximate abstractions
• Bisimilar Finite Abstractions of Interconnected Systems
• Approximately Bisimilar Finite Abstractions of Stable Linear Systems
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
• Asynchronous l-complete approximations
• A modal characterization of alternating approximate bisimilarity
• Abstractions of varying decentralization degree for reachability of coupled multiagent systems
• Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach
• Compositional abstraction synthesis for interconnected switched systems with incrementally non-passive modes
• Stabilization of finite automata with application to hybrid systems control

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

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