15-424 Logical Foundations of Cyber-Physical Systems

12 units, Carnegie Mellon University

Cyberphysical systems CPSs combine cyber capabilities computation andor 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 safetycritical tasks like keeping aircraft from colliding. This course pursues the fundamental question How can we provide people with cyberphysical systems they can bet their lives on

Prerequisites: 15-122 (min C) and 21-120 (min C)

Courseweave needs JavaScript to show sections, workloads and planning tools.