Fri Oct 3, 2014
60 Evans Hall, 4–6 PM
Sanjit Seshia (UC Berkeley)
The Logic of Cars: Reasoning about Cyber-physical Systems with Computational Logic
Cyber-physical systems (CPS) are those that tightly integrate computational processes with the physical world. Examples include medical devices and systems, automotive systems, intelligent power systems, and robots. In this talk, we explore how computational logic can be an effective way to model, design, and verify cyber-physical systems. Using today’s automobiles as a motivating application, we will explore the use of logic, especially temporal logic, in reasoning about such systems. The talk will survey some core theoretical problems along with current approaches to solve them, and sketch directions for future work.