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

Table of Contents
  1. Final Project Schedule
  2. Project Teasers
  3. 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

 

 

Project Teasers

These images are shared by the respective students in the course to illustrate the topic of their final projects.

Awards

In an amazingly tough competition with numerous verification rockstar quality projects, the judges finally settled on the following awards:
  1. Evelyn Kuo
  2. Ben Gafford and Myra Dotzel
  3. Joshua Clune
Honorable Mentions: