Pages that link to "Item:Q3523133"
From MaRDI portal
The following pages link to Bisimilar Finite Abstractions of Interconnected Systems (Q3523133):
Displaying 13 items.
- Stabilization of finite automata with application to hybrid systems control (Q763412) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)
