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
- Space Heater
- Thermostat Modeling and Verification
- Modeling a Flow-modulated Radiator Heating System
- Modeling, Analysis and Verification of a Temperature Control System
Chemical/Biological/Circuit Projects
- Design and Safety of Insulin Pumps: Proving safety properties of a proposed controller
- Modeling Chemical Reactions as Hybrid Systems
- Fox and Duck game
- Circuit Lab
