Pages that link to "Item:Q4671279"

The following pages link to Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279):

Displaying 2 items.

• A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
• Control design for nondeterministic input/output automata (Q1662972) (← links)