Supervisory Control Architecture for Discrete-Event Systems
From MaRDI portal
Publication:4974263
DOI10.1109/TAC.2008.927679zbMath1367.93361MaRDI QIDQ4974263
Publication date: 8 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
93A13: Hierarchical systems
93A14: Decentralized systems
93C65: Discrete event control/observation systems
Related Items
Relative coobservability for decentralised supervisory control of discrete-event systems, Optimal non‐blocking decentralized supervisory control with unobservable controllable events, Sampled-data controller implementation, On the computation of natural observers in discrete-event systems, Conflict-preserving abstraction of discrete event systems using annotated automata, Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems, On the complexity of synthesizing a minimum-weighted supervisor under partial observation, Sampled-data supervisory control, Compositional synthesis of supervisors in the form of state machines and state maps, A framework for state attraction of discrete event systems under partial observation, Abstraction-based verification of codiagnosability for discrete event systems, Supervisory control of discrete event systems with distinguishers, What information really matters in supervisor reduction?, Verification complexity of a class of observational properties for modular discrete events systems, Complexity of detectability, opacity and A-diagnosability for modular discrete event systems, A hierarchical and modular control architecture for sequential behaviours, New results on supervisor localization, with case studies, Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates, Modular supervisory control and coordination of state tree structures, Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation, Robust consensus tracking for an integrator-type multi-agent system with disturbances and unmodelled dynamics
