Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction

DOI10.1109/TAC.2010.2042342zbMath1368.93387OpenAlexW2125393216MaRDI QIDQ4978872

Jan H. van Schuppen, Rong Su, Jacobus E. Rooda

Publication date: 25 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2010.2042342

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Synthesis problems (93B50)

Related Items (11)

What information really matters in supervisor reduction? ⋮ Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Overview of networked supervisory control with imperfect communication channels ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Distributed supervisory control of discrete-event systems with communication delay ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Optimal modular control of discrete event systems with distinguishers and approximations ⋮ Nonblocking supervisory control of state-tree structures with event forcing ⋮ New results on supervisor localization, with case studies

This page was built for publication: Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction