Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
From MaRDI portal
Publication:5962026
DOI10.1007/s10626-009-0070-yzbMath1195.93021OpenAlexW2016724466MaRDI QIDQ5962026
Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune
Publication date: 16 September 2010
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-009-0070-y
Discrete event control/observation systems (93C65) System structure simplification (93B11) Applications of graph theory to circuits and networks (94C15)
Related Items
A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems ⋮ Abstraction-Based Verification and Synthesis for Prognosis of Discrete Event Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Multitasking supervisory control of discrete-event systems
- An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
- Modular supervisory control of discrete-event systems
- Factorisation of finite state machines under strong and observational equivalences
- Modular control and coordination of discrete-event systems
- Supervisor reduction for discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Hierarchical control of discrete-event systems
- Control of vector discrete-event systems. I. The base model
- Incremental hierarchical construction of modular supervisors for discrete-event systems
- Compositional Verification in Supervisory Control
- Characterization of all M-controllable subpredicates of a given predicate
- Supervisory control using failure semantics and partial specifications
- M -controllable subpredicates arising in state feed back control of discrete event systems
- Static-state feedback control of discrete-event systems under partial observation
- Nonblocking supervisory control of nondeterministic systems via prioritized synchronization
- On the consistency of hierarchical supervision in discrete-event systems
- Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control
- Hierarchical interface-based supervisory Control-part I: serial case
- Hierarchical interface-based supervisory control-part II: parallel case
- Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- CONCUR 2004 - Concurrency Theory
- CONFLICTS AND FAIR TESTING
- Modular Feedback Logic for Discrete Event Systems
- Branching time controllers for discrete event systems