The following pages link to Bastian Schürmann (Q2178183):
Displaying 4 items.
- Set-based control for disturbed piecewise affine systems with state and actuation constraints (Q2178184) (← links)
- First steps toward formal controller synthesis for bipedal robots with experimental implementation (Q2406959) (← links)
- First steps toward formal controller synthesis for bipedal robots (Q2988940) (← links)
- Formal Safety Net Control Using Backward Reachability Analysis (Q6077141) (← links)
