Pages that link to "Item:Q1365652"
From MaRDI portal
The following pages link to A class of non-deterministic specifications for supervisory control (Q1365652):
Displaying 4 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- A class of non-deterministic specifications for supervisory control (Q1365652) (← links)
- On the supremal controllable sublanguage in the discrete-event model of nondeterministic hybrid control systems (Q4875987) (← links)
- Supervisory Control with Complete Observations (Q5496921) (← links)