Incremental model evolution and reusability of supervisors for discrete event systems

DOI10.1016/S0005-1098(99)00142-9zbMATH Open0957.93054OpenAlexW1991705141MaRDI QIDQ1962005FDOQ1962005

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)

Cites Work

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

Uses Software

• UMDES

Recommendations

• Supervisory control of the structured dynamic discrete-event systems 👍 👎
• State-space supervisory control of reconfigurable discrete event systems 👍 👎
• Incremental hierarchical construction of modular supervisors for discrete-event systems 👍 👎
• Supervisory control of discrete event systems with state-dependent controllability 👍 👎
• Transformational supervisor synthesis for evolving systems 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1962005)