A control synthesis approach for time discrete event systems
From MaRDI portal
Publication:2489593
DOI10.1016/j.matcom.2005.11.001zbMath1093.93021MaRDI QIDQ2489593
Hassane Alla, Alexandru Tiberiu Sava
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
49N35: Optimal feedback synthesis
93C65: Discrete event control/observation systems
93B50: Synthesis problems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Uses Software
Cites Work
- Unnamed Item
- A theory of timed automata
- Kronos: A verification tool for real-time systems
- Supervisory Control of a Class of Discrete Event Processes
- Recoverability of Communication Protocols--Implications of a Theoretical Study
- Supervisory control of timed discrete-event systems
- On the synthesis of discrete controllers for timed systems