Pages that link to "Item:Q4506591"
From MaRDI portal
The following pages link to A method for the synthesis of controllers to handle safety, liveness, and real-time constraints (Q4506591):
Displayed 4 items.
- A supervisory control method for ensuring the conformance of real-time discrete event systems (Q816702) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Syntax-based synthesis for temporal-safety supervision (Q2573941) (← links)
- A method for the modular synthesis of controllers for timed discrete-event systems (Q4460523) (← links)