Pages that link to "Item:Q391117"
From MaRDI portal
The following pages link to Automatic synthesis of switching controllers for linear hybrid systems: safety control (Q391117):
Displaying 5 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Tracking smooth trajectories in linear hybrid systems (Q1680510) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
