Supervisory control of discrete-event systems

DOI10.1007/978-3-319-77452-7zbMath1405.93008OpenAlexW4288853474MaRDI QIDQ1793986

Kai Cai, W. Murray Wonham

Publication date: 12 October 2018

Published in: Communications and Control Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-77452-7

zbMATH Keywords

supervisory controldiscrete-event systemspartial observationtimed discrete-event systemsstate-based controldecentralized and distributed supervisionhierarchical supervision

Mathematics Subject Classification ID

Controllability (93B05) Feedback control (93B52) Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Observability (93B07) Attainable sets, reachability (93B03)

Related Items (33)

A new modeling framework for networked discrete-event systems ⋮ Supervisory controller synthesis and implementation for safety PLCs ⋮ State complexity of projection on languages recognized by permutation automata and commuting letters ⋮ Computational complexity of synchronization under sparse regular constraints ⋮ Consistent reduction in discrete-event systems ⋮ Modular control of discrete-event systems using similarity ⋮ Optimal supervisory control with mean payoff objectives and under partial observation ⋮ A controller synthesis framework for automated service composition ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ Transformational supervisor synthesis for evolving systems ⋮ Modular supervisory control for multi-floor manufacturing processes ⋮ Supervisory control to maximize mean time to failure in discrete event systems ⋮ Do what you know: coupling knowledge with action in discrete-event systems ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ I-S detectability of partially-observed discrete event systems: a novel matrix-based method ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ On scalable supervisory control of multi-agent discrete-event systems ⋮ Natural projection as partial model checking ⋮ Composite supervisory control for symmetric discrete-event systems ⋮ Synthesis of covert actuator attackers for free ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ On the invariance property of reduced supervisors from the perspective of vector discrete-event systems ⋮ Supervisor localisation for large-scale discrete-event systems under partial observation ⋮ Compositional coordinator synthesis of extended finite automata ⋮ Usability aware secret protection with minimum cost ⋮ Epistemic interpretations of decentralized discrete-event system problems ⋮ Detectability of labeled weighted automata over monoids ⋮ Nonblocking supervisory control of state-tree structures with event forcing ⋮ Robust supervisory control of discrete event systems against intermittent loss of observations ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Localisation-based distributed control of timed discrete-event systems with communication delay

This page was built for publication: Supervisory control of discrete-event systems