A control synthesis approach for time discrete event systems

DOI10.1016/J.MATCOM.2005.11.001MaRDI QIDQ2489593zbMATH OpenOpenAlexFDO

Authors Alexandru Tiberiu Sava, Hassane Alla

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.001

Mathematics Subject Classification ID

Synthesis problems (93B50) Discrete event control/observation systems (93C65) Optimal feedback synthesis (49N35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A new approach to synthesis problems in timed discrete-event systems
• Supervisory control of timed discrete-event systems
• Feedback control for a class of discrete event systems with critical time
• Supervisor synthesis for real-time discrete event systems
• A method for the modular synthesis of controllers for timed discrete-event systems

Cites work

• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• A theory of timed automata
• Kronos: A verification tool for real-time systems
• On the synthesis of discrete controllers for timed systems
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems

Cited in

(7)

• A new approach to synthesis problems in timed discrete-event systems
• Approximated timed reachability graphs for the robust control of discrete event systems
• State based control of timed discrete event systems using binary decision diagrams
• Control and synthesis of non-interferent timed systems
• Feedback control for a class of discrete event systems with critical time
• Suboptimal time management of discrete event systems with uncontrollable events modeled by Petri nets
• A method for the modular synthesis of controllers for timed discrete-event systems

Describes a project that uses

Uses Software

• Kronos

This page was built for publication: A control synthesis approach for time discrete event systems

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