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 8 items.
- Automata-theoretic decision of timed games (Q386611) (← links)
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Tracking smooth trajectories in linear hybrid systems (Q1680510) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- PPLite: zero-overhead encoding of NNC polyhedra (Q2216124) (← links)
- Automated formal synthesis of provably safe digital controllers for continuous plants (Q2303883) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)