Pages that link to "Item:Q4460523"
From MaRDI portal
The following pages link to A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523):
Displaying 3 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- A hierarchical consistency framework for real-time supervisory control (Q1790660) (← links)
- A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
