On the Synthesis of Discrete Controllers for Timed Systems

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 the way for the application of program synthesis techniques to the construction of real time embedded systems from their speci cations

Extracted Key Phrases

02040'95'97'99'01'03'05'07'09'11'13'15'17
Citations per Year

553 Citations

Semantic Scholar estimates that this publication has 553 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Maler1995OnTS, title={On the Synthesis of Discrete Controllers for Timed Systems}, author={Oded Maler and Amir Pnueli and Joseph Sifakis}, year={1995} }