Pages that link to "Item:Q816702"
From MaRDI portal
The following pages link to A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702):
Displaying 3 items.
- SetExp: a method of transformation of timed automata into finite state automata (Q601048) (← links)
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
