Grid automata and supervisory control of dense real-time discrete event systems

DOI10.1016/j.matcom.2005.11.009zbMath1093.93020OpenAlexW2076758153MaRDI QIDQ2489622

Ahmed Khoumsi, Mustapha Nourelfath

Publication date: 28 April 2006

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.matcom.2005.11.009

zbMATH Keywords

Timed automataSupervisory controlAutomatic synthesisGrid automataTimed discrete event systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Related Items (3)

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 ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• A theory of timed automata
• Time-abstracted bisimulation: Implicit specifications and decidability
• A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing
• Stabilization of discrete-event processes
• A framework for real-time discrete event control
• Supervisory Control of a Class of Discrete Event Processes
• Parametric sensitivity of a statistical experiment
• Supervisory control of timed discrete-event systems
• A new approach to synthesis problems in timed discrete-event systems
• On the synthesis of discrete controllers for timed systems
• Internal model control and max-algebra: controller design
• Testing timed automata

This page was built for publication: Grid automata and supervisory control of dense real-time discrete event systems