Pages that link to "Item:Q3523108"
From MaRDI portal
The following pages link to Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q3523108):
Displaying 7 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
- Verification of continuous dynamical systems by timed automata (Q763240) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
