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

Table of Contents
Final Project Schedule Project Teasers Awards

Final Project Schedule

The Fall 2020 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	Autonomous Quadcopter Navigation through Hoops [paper | slides | study] Adrian Abedon
1:40	Modeling the Safe Control of an Aircraft in Two-Dimensions [paper | slides | study] Nikita Rupani and Brian Wei
2:00-3:00  Second Session: KeYmaera X Improvements and Learning Resources
2:00	Star Lab: First-Class Support for Vectors in KeYmaera X & Derived Lemmas [paper | slides ] Aditi Kabra and Chris Lambert
2:20	KeYmaera Evaluator for Reliable and Robust Cyber-physical Hybrid-program Engineering via Novel Graphics [paper | slides | study | www] Jasmine Cheng and Justin Kerr
2:40	Beyond *: Visualizing Quantifier Elimination for Real Arithmetic [paper | slides | study | www] Uday Shankar
3:00-3:10  Break
3:10-3:50 Third Session: Recreative Modeling
3:10	Modeling of K-Pop Dance Choreography as a Synchronized Multi-Agent Hybrid System [paper | slides | study] Anne He
3:30	Quarterback Safety in American Football [paper | slides | study] Len Huang and Megha Jain
3:50-4:30 Fourth Session: Theory
3:50	Expressing Equilibrium in Dynamic Game Logic to Play Non Zero-Sum Games [paper | slides | study] Yiwen Yuan
4:10	Non-Standard Semantics for Differential Dynamic Logic [paper | slides] Noah Abou El Wafa
4:30-5:10 Fifth Session: Smart Driving
4:30	Modelling Safer Traffic Light Transitions and an Intersection Control System for Autonomous Vehicles [paper | slides | study] Kyle Kauffman
4:50	Provably Safe Prediction for Autonomous Vehicles Using Uncertainty Estimations [paper | slides | study] Michael OBroin and Adrian Kager
5:10-5:20 Break
5:20-6:20 Judges in Closed Sessions
6:20-7:00 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. Jasmine Cheng and Justin Kerr
2. Noah Abou El Wafa
3. Aditi Kabra and Chris Lambert

Honorable Mentions:

• Uday Shankar
• Anne He
• Len Huang and Megha Jain