Pages that link to "Item:Q2496813"
From MaRDI portal
The following pages link to Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813):
Displaying 4 items.
- Supervisory control of a solar air conditioning plant with hybrid dynamics (Q397386) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems (Q4909026) (← links)
- Decomposition of timed automata for solving scheduling problems (Q5172578) (← links)
