Pages that link to "Item:Q5959843"
From MaRDI portal
The following pages link to Discrete supervisory control of hybrid systems based on \(l\)-complete approximations (Q5959843):
Displayed 8 items.
- Asynchronous \(l\)-complete approximations (Q464604) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)
- Proving Safety of Traffic Manoeuvres on Country Roads (Q2842637) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Safe and Optimal Adaptive Cruise Control (Q3449638) (← links)
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata (Q3523130) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)