Pages that link to "Item:Q4671279"
From MaRDI portal
The following pages link to Ensuring the conformance of reactive discrete-event systems by means of supervisory control (Q4671279):
Displaying 4 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)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Confusion avoidance for discrete event systems by P/E constraints and supervisory control (Q4683964) (← links)