7 search results - page 2 / 2 » Amir Pnueli and the dawn of hybrid systems |
BIRTHDAY
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
HYBRID
1994
Springer
13 years 8 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...