Amir Pnueli and the Dawn of Hybrid Systems
Oded Maler

I describe the contributions of the late Amir Pnueli to the initiation
of research on the verification of hybrid (discrete-continuous,
locial-numerical) systems, a reunion in the Nineties of some branches of
computer science, control theory and applied mathematics. These
domains were closely related in the cybernetic Sixties, but diverged
subsequently as computer science became an independent discipline. The
talk will also give the basics of verification and enumerate the
challenges of extending it to continuous and hybrid systems.