Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction

DOI10.1109/TAC.2010.2042342MaRDI QIDQ4978872zbMATH OpenOpenAlexFDO

Authors Rong Su, Jan H. van Schuppen, 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

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

Cited in

(12)

• What information really matters in supervisor reduction?
• 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
• Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Distributed supervisory control of discrete-event systems with communication delay
• 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
• Reducing the computational effort of symbolic supervisor synthesis

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4978872)