A new method for centralised and modular supervisory control of real-time discrete event systems

DOI10.1080/00207170903062174zbMath1184.93007OpenAlexW2000205215MaRDI QIDQ3550771

Ahmed Khoumsi, Lucien Ouedraogo, Mustapha Nourelfath

Publication date: 6 April 2010

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207170903062174

zbMATH Keywords

supervisory controlmodulardiscrete event systemsreal-timecentralised

Mathematics Subject Classification ID

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

Related Items

SetExp: a method of transformation of timed automata into finite state automata ⋮ How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems ⋮ Developing a democratic progress model based on discrete event systems ⋮ State feedback control of real-time discrete event systems with infinite states

Cites Work

• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Modular supervisory control of discrete-event systems
• A theory of timed automata
• Time-abstracted bisimulation: Implicit specifications and decidability
• PSPACE-completeness of modular supervisory control problems
• Grid automata and supervisory control of dense real-time discrete event systems
• A framework for real-time discrete event control
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• A method for the modular synthesis of controllers for timed discrete-event systems
• A new approach to synthesis problems in timed discrete-event systems
• Reduced supervisors for timed discrete-event systems
• A Method for Testing the Conformance of Real Time Systems