Supervisory control of discrete-event systems

From MaRDI portal
Publication:1793986

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




Related Items (33)

A new modeling framework for networked discrete-event systemsSupervisory controller synthesis and implementation for safety PLCsState complexity of projection on languages recognized by permutation automata and commuting lettersComputational complexity of synchronization under sparse regular constraintsConsistent reduction in discrete-event systemsModular control of discrete-event systems using similarityOptimal supervisory control with mean payoff objectives and under partial observationA controller synthesis framework for automated service compositionSCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution timeTransformational supervisor synthesis for evolving systemsModular supervisory control for multi-floor manufacturing processesSupervisory control to maximize mean time to failure in discrete event systemsDo what you know: coupling knowledge with action in discrete-event systemsA survey on compositional algorithms for verification and synthesis in supervisory controlOnline prognosis of stochastic discrete event systems with guaranteed performance boundI-S detectability of partially-observed discrete event systems: a novel matrix-based methodOn decidability of existence of nonblocking supervisors resilient to smart sensor attacksOn scalable supervisory control of multi-agent discrete-event systemsNatural projection as partial model checkingComposite supervisory control for symmetric discrete-event systemsSynthesis of covert actuator attackers for freeA Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event SystemsOn the invariance property of reduced supervisors from the perspective of vector discrete-event systemsSupervisor localisation for large-scale discrete-event systems under partial observationCompositional coordinator synthesis of extended finite automataUsability aware secret protection with minimum costEpistemic interpretations of decentralized discrete-event system problemsDetectability of labeled weighted automata over monoidsNonblocking supervisory control of state-tree structures with event forcingRobust supervisory control of discrete event systems against intermittent loss of observationsSynthesis of winning attacks on communication protocols using supervisory control theory: two case studiesUsing subobservers to synthesize opacity-enforcing supervisorsLocalisation-based distributed control of timed discrete-event systems with communication delay







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