This paper presents algorithms for the automatic synthesis of real-time controllers by finding a winning strategy for certain games defined by the timed-automata of Alur and Dill. In such games, the outcome depends on the players’ actions as well as on their timing. We believe that these results will pave the way for the application of program synthesis techniques to the construction of real-time embedded systems from their specifications.
CITATION STYLE
Maler, O., Pnueli, A., & Sifakis, J. (1995). On the synthesis of discrete controllers timed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 900, pp. 229–242). Springer Verlag. https://doi.org/10.1007/3-540-59042-0_76
Mendeley helps you to discover research relevant for your work.