Supervisor reduction for discrete-event systems
From MaRDI portal
Publication:1424972
DOI10.1023/B:DISC.0000005009.40749.b6zbMath1035.93048OpenAlexW2016380948MaRDI QIDQ1424972
Publication date: 15 March 2004
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:disc.0000005009.40749.b6
supervisory control theoryalgorithmic supervisor reductioncontrol congruenceminimal supervisor size estimation
Formal languages and automata (68Q45) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) System structure simplification (93B11) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
Discrete-event systems subject to unknown sensor attacks, What information really matters in supervisor reduction?, Supervision localization of timed discrete-event systems, Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory, Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems, Generating conditions for preserving the properties of controlled discrete event systems, Networked supervisor synthesis against lossy channels with bounded network delays as non-networked synthesis, Consistent reduction in discrete-event systems, Designing communicating transaction processes by supervisory control theory, Exploiting symmetry of state tree structures for discrete-event systems with parallel components, On detectability of labeled Petri nets and finite automata, Composite supervisory control for symmetric discrete-event systems, Compositional synthesis of maximally permissive supervisors using supervision equivalence, A framework for synthesis of communicating decentralised supervisors for discrete-event systems, On the invariance property of reduced supervisors from the perspective of vector discrete-event systems, Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution, Lose fat, not muscle: an examination of supervisor reduction in discrete-event systems, Supervisor localisation for large-scale discrete-event systems under partial observation, Compositional coordinator synthesis of extended finite automata, Optimal modular control of discrete event systems with distinguishers and approximations, Progressive events in supervisory control and compositional verification, New results on supervisor localization, with case studies
