Pages that link to "Item:Q2489622"
From MaRDI portal
The following pages link to Grid automata and supervisory control of dense real-time discrete event systems (Q2489622):
Displaying 3 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems (Q2061133) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
