15-424: Foundations of Cyber-Physical Systems (Fa'13)

15-424 Foundations of Cyber-Physical Systems
15-624 Foundations of Cyber-Physical Systems
(Fall 2013)
Instructor: André Platzer
(office: Mon 4:20-5:30, GHC 9103)
Sarah Loos
(office: Tue 4:30-5:30 9th floor kitchenette
Fri 3:00-3:30, 4:20-5:00, GHC 4102)
Units: 12
Semester: Fall 2013
Time: MW 3-4:20
Place: GHC 4102
Recitation: F 3:30, GHC 4102
This course is listed in the Computer Science Department as 15-424/15-624 at Carnegie Mellon University. It counts as a Logics/Languages elective in the Computer Science curriculum.
Lec. Notes Piazza Course Staff KeYmaera Autolab
Hybrid Systems Analysis & Design logo of course Foundations of Cyber-Physical Systems
Cyber-physical systems (CPSs) combine cyber capabilities (computation and/or communication) with physical capabilities (motion or other physical processes). Cars, aircraft, and robots are prime examples, because they move physically in space in a way that is determined by discrete computerized control algorithms. Designing these algorithms to control CPSs is challenging due to their tight coupling with physical behavior. At the same time, it is vital that these algorithms be correct, since we rely on CPSs for safety-critical tasks like keeping aircraft from colliding. In this course we will strive to answer the fundamental question posed by Jeannette Wing:
"How can we provide people with cyber-physical systems they can bet their lives on?"