Amir Pnueli and the dawn of hybrid systems

In this talk I present my own perspective on the beginning (I refer mostly to the period 1988-1998) of hybrid systems research at the computer science side, focusing on the contributions of the late Amir Pnueli, mildly annotated with some opinions of mine. Categories and Subject Descriptors A.0 [General literature]: General General Terms Verification Keywords Amir Pnueli, Hybrid systems

• Type: Conference
• Year: 2010
• Where: HYBRID
• Authors: Oded Maler
• Keywords: Amir Pnueli, HYBRID 2010, Hybrid Systems, Late Amir Pnueli