Incremental hierarchical construction of modular supervisors for discrete-event systems

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

zbMATH Keywords

observersabstractionhierarchymodular supervisory control

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

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

• UMDES

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