Pages that link to "Item:Q2059364"
From MaRDI portal
The following pages link to Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364):
Displaying 7 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem (Q4589448) (← links)
- (Q5375230) (← links)
- Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications (Q6103006) (← links)
- Optimal supervisory control of discrete event systems for cyclic tasks (Q6550231) (← links)