Pages that link to "Item:Q5898987"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898987):
Displayed 7 items.
- Safety verification for probabilistic hybrid systems (Q389835) (← links)
- Hybrid queueing systems with hysteretic bilevel control policies (Q852565) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- On a dual hybrid queueing system (Q1005303) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)