On the Synthesis of Discrete Controllers for Timed Systems (1995)
Cached
Download Links
| Venue: | in E.W. Mayr and C. Puech (Eds), Proc. STACS'95, LNCS 900 |
| Citations: | 161 - 20 self |
BibTeX
@INPROCEEDINGS{Maler95onthe,
author = {Oded Maler and Amir Pnueli and Joseph Sifakis},
title = {On the Synthesis of Discrete Controllers for Timed Systems},
booktitle = {in E.W. Mayr and C. Puech (Eds), Proc. STACS'95, LNCS 900},
year = {1995},
pages = {229--242},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. This paper presents algorithms for the automatic synthesis of real-time controllers by nding a winning strategy for certain games de ned 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 theway for the application of program synthesis techniques to the construction of real-time embedded systems from their speci cations. 1
