On the synthesis of discrete controllers for timed systems. (English) Zbl 1379.68227

Maler, Oded; Pnueli, Amir; Sifakis, Joseph

Mayr, Ernst W. (ed.) et al., STACS 95. 12th annual symposium on theoretical aspects of computer science, Munich, Germany, March 2–4, 1995. Proceedings. Berlin: Springer-Verlag (ISBN 3-540-59042-0). Lecture Notes in Computer Science 900, 229-242 (1995).

Summary: 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.
For the entire collection see [Zbl 0813.68028].

MSC:

68Q45	Formal languages and automata
68M20	Performance evaluation, queueing, and scheduling in the context of computer systems
91A80	Applications of game theory
93B50	Synthesis problems