Pages that link to "Item:Q816702"

The following pages link to A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702):

Displaying 7 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)
• A new method for centralised and modular supervisory control of real-time discrete event systems (Q3550771) (← links)
• Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279) (← links)
• Confusion avoidance for discrete event systems by P/E constraints and supervisory control (Q4683964) (← links)
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems (Q5281872) (← links)