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

Table of Contents
  1. Final Projects
    1. Robot Projects
    2. Car Projects
    3. Air and Space Projects
    4. HVAC Projects
    5. Chemical/Biological/Circuit Projects

Final Projects

The Fall 2013 students of the CMU 15-424/624 Foundations of Cyber-Physical Systems course have done amazing self-defined final course projects on CPS verification.

Robot Projects

Car Projects

Air and Space Projects

HVAC Projects

Chemical/Biological/Circuit Projects