The following pages link to (Q4249564):
Displayed 5 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)