CMU Campus
Center for                           Nonlinear Analysis
CNA Home People Seminars Publications Workshops and Conferences CNA Working Groups CNA Comments Form Summer Schools Summer Undergraduate Institute PIRE Cooperation Graduate Topics Courses SIAM Chapter Seminar Positions Contact
CNA Seminar/Colloquium/Joint Pitt-CNA Colloquium
Andre Platzer
CMU
Title: Logic of Dynamical Systems

Abstract: Computer control is used increasingly in many safety-critical application domains, including aviation, automotive, railway, and robotics. Systems like these are cyber-physical systems, because they combine cyber capabilities (computers and communication) with physical abilities (sensing and actuation) to solve problems that neither part could solve alone. Because these systems operate in the physical world, stringent safety requirements are usually imposed on cyber-physical system designs. But how can we design computers that are guaranteed to interact correctly with the physical world?

Hybrid systems model cyber-physical systems as dynamical systems with interacting discrete transitions along difference equations and continuous evolutions along differential equations. This talk illustrates how logic and mathematics can work together to answer analytic questions about hybrid systems. It presents the logical foundations of hybrid systems and how they can be used to answer practical analysis questions. The approach combines discrete and continuous mathematics, and logic, and has connections to many other areas of mathematics. It has been used successfully for verifying nontrivial properties in aircraft, railway, and car control applications.



Date: Thursday, February 22, 2018
Time: 4:30 pm
Location: Wean Hall 7218
Submitted by:  Ian Tice