The input-output control of real-time discrete event systems
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 256-265
- https://doi.org/10.1109/real.1992.242655
Abstract
The authors formulate and analyze a controller synthesis problem for a plant which must meet certain hard real-time deadlines. In this timed input-output control problem, the plant is modeled by finite timed traces. The authors provide necessary and sufficient conditions for the existence of a timed input-output controller. The results are based in part on the supervisory control theory of P.J. Ramadge and W.M. Wonham. When the plant and the closed-loop specification are represented by deterministic limited automata, the synthesis problem can be solved. The synthesis procedure and the synthesized supervisor are polynomial in the number of automata states and exponential in the timing information.Keywords
This publication has 15 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Synthesizing processes and schedulers from temporal specificationsPublished by Springer Nature ,2005
- Synthesis of controllers for real-time discrete event systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formulation and control of real time discrete event processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Using mappings to prove timing propertiesPublished by Association for Computing Machinery (ACM) ,1990
- A framework for real-time discrete event controlIEEE Transactions on Automatic Control, 1990
- On the control of discrete-event dynamical systemsMathematics of Control, Signals, and Systems, 1989
- Realizable and unrealizable specifications of reactive systemsPublished by Springer Nature ,1989
- A Petri-net Approach to the Control of Discrete-event SystemsPublished by Springer Nature ,1988