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.