Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
From MaRDI portal
Publication:4978872
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
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
