Pages that link to "Item:Q4978872"
From MaRDI portal
The following pages link to Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction (Q4978872):
Displaying 11 items.
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems (Q445939) (← links)
- Distributed supervisory control of discrete-event systems with communication delay (Q503030) (← links)
- What information really matters in supervisor reduction? (Q1626914) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Optimal modular control of discrete event systems with distinguishers and approximations (Q2063103) (← links)
- Nonblocking supervisory control of state-tree structures with event forcing (Q2094965) (← 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)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Overview of networked supervisory control with imperfect communication channels (Q6160970) (← links)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks (Q6175603) (← links)
