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.Recording: http://mm.math.cmu.edu/recordings/cna/andre_platzer_small.mp4Date: Thursday, February 22, 2018Time: 4:30 pmLocation: Wean Hall 7218Submitted by: Ian Tice |