Incremental hierarchical construction of modular supervisors for discrete-event systems
From MaRDI portal
Publication:3543066
DOI10.1080/00207170701799365zbMath1152.93424OpenAlexW2152819606MaRDI QIDQ3543066
Richard C. Hill, Dawn M. Tilbury
Publication date: 1 December 2008
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207170701799365
Related Items
Hierarchical planning in a supervisory control context with compositional abstraction ⋮ A survey on compositional algorithms for verification and synthesis in supervisory control ⋮ Multi-level hierarchical interface-based supervisory control ⋮ Modular supervisory control with equivalence-based abstraction and covering-based conflict resolution
Uses Software
Cites Work
- Unnamed Item
- Multitasking supervisory control of discrete-event systems
- Hierarchical fault diagnosis for discrete-event systems under global consistency
- Modular supervisory control of discrete-event systems
- Modular control and coordination of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Hierarchical control of discrete-event systems
- Synthesis of feedback control logic for a class of controlled Petri nets
- Graph-Based Algorithms for Boolean Function Manipulation
- On the consistency of hierarchical supervision in discrete-event systems
- Hierarchical interface-based supervisory control-part II: parallel case
- Nonblocking Supervisory Control of State Tree Structures
- Automated Technology for Verification and Analysis