The following pages link to (Q4249564):
Displayed 6 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- A set oriented approach to global optimal control (Q5465550) (← links)
- The minimum principle of hybrid optimal control theory (Q6188525) (← links)