The Dennes Room

Event Detail

Fri Oct 3, 2014
60 Evans Hall, 4–6 PM
Logic Colloquium
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.