A method for the modular synthesis of controllers for timed discrete-event systems

DOI10.1080/0020717031000088210zbMath1040.93048OpenAlexW2012006165MaRDI QIDQ4460523

No author found.

Publication date: 18 May 2004

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

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items

SetExp: a method of transformation of timed automata into finite state automata ⋮ A new method for centralised and modular supervisory control of real-time discrete event systems ⋮ A hierarchical consistency framework for real-time supervisory control

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Modular supervisory control of 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 synthesis of controllers to handle safety, liveness, and real-time constraints
• A new approach to synthesis problems in timed discrete-event systems
• On the synthesis of discrete controllers for timed systems