Abstract
Cyber-physical systems (CPS) integrate computation with physical processes. Examples of CPS include modern automobiles, avionics, medical devices, robots, power systems, sensor networks, and many more. Many of these systems operate in uncertain, evolving, or partially unknown environments, and even so must provide strong assurances of safety and performance. In this talk, I will discuss algorithmic problems arising in the real-time verification and control of cyber-physical systems. In particular, I will talk about the use of temporal logic for specifying desired and undesired behavior of CPS, and the use of online algorithms and optimization for verification and control of temporal logic properties of CPS.