A control synthesis approach for time discrete event systems
DOI10.1016/J.MATCOM.2005.11.001zbMATH Open1093.93021OpenAlexW2052452011MaRDI QIDQ2489593FDOQ2489593
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
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
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)
Cites Work
- Kronos: A verification tool for real-time systems
- A theory of timed automata
- Supervisory Control of a Class of Discrete Event Processes
- On the synthesis of discrete controllers for timed systems
- Title not available (Why is that?)
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- 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
- 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
- Control and synthesis of non-interferent timed systems
- State based control of timed discrete event systems using binary decision diagrams
- Feedback control for a class of discrete event systems with critical time
Uses Software
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)