Incremental model evolution and reusability of supervisors for discrete event systems

DOI10.1016/S0005-1098(99)00142-9zbMath0957.93054OpenAlexW1991705141MaRDI QIDQ1962005

Stéphane Lafortune, Feng Lin, Yi Liang Chen

Publication date: 10 April 2000

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0005-1098(99)00142-9

zbMATH Keywords

discrete event systemmodular supervisory controldeterministic finite-state machinehorizontal growthsystem reconfiguration and modificationvertical growth

Mathematics Subject Classification ID

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

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On observability of discrete-event systems
• Modular supervisory control of discrete-event systems
• Decentralized supervisory control of discrete-event systems
• Supervisory control of discrete event systems
• Supervisory control of discrete-event processes with partial observations
• Think globally, act locally: decentralized supervisory control
• Robust and adaptive supervisory control of discrete event systems
• Design of nonblocking modular supervisors using event priority functions
• Model Uncertainty in Discrete Event Systems
• Decentralized control and coordination of discrete-event systems with partial observation
• On the consistency of hierarchical supervision in discrete-event systems

This page was built for publication: Incremental model evolution and reusability of supervisors for discrete event systems