Pages that link to "Item:Q445939"
From MaRDI portal
The following pages link to Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939):
Displaying 19 items.
- Maximally permissive controlled system synthesis for non-determinism and modal logic (Q513185) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems (Q1729092) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Supervisory control synthesis of discrete-event systems using a coordination scheme (Q1941245) (← links)
- Compositional coordinator synthesis of extended finite automata (Q2058570) (← links)
- Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systems (Q2059364) (← links)
- Coordination control of discrete-event systems revisited (Q2348358) (← links)
- New results on supervisor localization, with case studies (Q2348367) (← links)
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates (Q2409354) (← links)
- Compositional synthesis of maximally permissive supervisors using supervision equivalence (Q2465421) (← links)
- Maximally permissive mutually and globally nonblocking supervision with application to switching control (Q2576128) (← links)
- Abstraction-based verification and synthesis for prognosis of discrete event systems (Q2821258) (← links)
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem (Q4589448) (← links)
- Supervisor localisation for large-scale discrete-event systems under partial observation (Q4960167) (← links)
- An efficient simulation procedure for the expected opportunity cost using metamodels (Q6049054) (← links)
- Modular supervisory control for multi-floor manufacturing processes (Q6063113) (← links)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
- Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications (Q6198141) (← links)
