The following pages link to (Q4953410):
Displaying 8 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)
- A MIXED INTEGER DYNAMIC PROGRAMMING APPROACH TO A CLASS OF OPTIMAL CONTROL PROBLEMS IN HYBRID SYSTEMS (Q5489316) (← links)
- Time-optimal control for discrete-time hybrid automata (Q5707981) (← links)
