Pages that link to "Item:Q1404383"
From MaRDI portal
The following pages link to Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions (Q1404383):
Displaying 4 items.
- Symbolic models for control systems (Q868433) (← links)
- Reachability analysis of continuous-time piecewise affine systems (Q2518996) (← links)
- On practical tracking of hybrid systems (Q2643437) (← links)
- Local lipschitzness of reachability maps for hybrid systems with applications to safety (Q5146387) (← links)