Final Projects: 15-424: Logical Foundations of Cyber-Physical Systems (Fall 2021)

Table of Contents
Final Project Schedule Project Teasers Awards

Final Project Schedule

The Fall 2021 students of the CMU 15-424/624/824 Foundations of Cyber-Physical Systems course are competing in the CPS V&V Grand Prix with the following self-defined final course projects on CPS verification.

1:00-1:20 Introduction of Judges and dL André Platzer
1:20-2:00 First Session: Aircraft Verification
1:20	Creating Shapes in the Sky: Distributed Formation Control of Drones [ paper \| slides \| study ] Andrew Stange and Allison Lo
1:40	Proving Lunar Autonomous Micro-Roving Missions Will Succeed [ paper \| slides \| study ] Varsha Kumar
2:00-3:00 Second Session: Safe Driving
2:00	Driving along Forbes Avenue [ paper \| slides \| study ] Eric Yang
2:20	Improvements to the Responsibility Sensitive Safety Model for Self-Driving Cars [ paper \| slides \| study ] Megan Strauss
2:40	Grand Prix Grand Prix [ paper \| slides \| study ] Evan Lohn
3:00-3:10 Break
3:10-3:50 Third Session: Fundamental Improvements and Tools
3:10	Numerical Extension to ODEs in KeYmaera X [ paper \| slides \| study \| www ] Evelyn Kuo
3:30	Controller Aware dL [ paper \| slides ] Joshua Clune
3:50	Minimizing Sequents to Find Modeling Errors in KeYmaera X [ paper \| slides \| study ] Ben Gafford and Myra Dotzel
4:10-4:50 Fourth Session: Hybrid Games
4:10	Modeling an Adversarial Poacher-Ranger Hybrid Game [ paper \| slides \| study ] Maia Iyer and Benjamin Gilby
4:30	Applying Hybrid Dynamic Logic for use in Games [ paper \| slides \| study ] Manan McCoy
4:50-5:30 Fifth Session: Applied Modeling
4:50	Driven Oscillations of a Car Suspension [ paper \| slides \| study ] Sacha Bartholme
5:10	Learnable Model Verification Through Reinforcement Learning [ paper \| slides \| study ] Yao Feng and Anita Li
5:30-5:40 Break
5:40-6:40 Judges in Closed Sessions
6:40-7:20 Presentation of Awards