The following pages link to (Q4953410):
Displaying 6 items.
- A computational approach to synthesizing guards for hybrid systems (Q464595) (← links)
- Optimal paths in weighted timed automata (Q596026) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)
- Stability analysis of piecewise-affine systems using controlled invariant sets (Q2503653) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
