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 11 items.
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← 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)
- Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems (Q2821258) (← 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)
