The following pages link to ROCS (Q39828):
Displayed 4 items.
- Closing the gap between discrete abstractions and continuous control: completeness via robustness and controllability (Q832033) (← links)
- Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay (Q2230844) (← links)
- Lazy Abstraction-Based Controller Synthesis (Q3297583) (← links)
- pFaces (Q5239246) (← links)