15-424: Foundations of Cyber-Physical Systems -

Table of Contents
Final Project Schedule Project Teasers Awards

Final Project Schedule

The Spring 2017 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. GHC 6115, Carnegie Mellon University

1:00-1:10 Welcome Remarks André Platzer
1:10-2:10 First Session: Theory for Dynamic Logics
1:10	Inductive Extensions to dL [paper \| slides] Ananya Kumar
1:25	Dependency Analysis for Hybrid Programs [paper \| slides \| study] Yong Kiam Tan
1:40	Cheat Codes for Hybrid Games [paper \| slides] Rachel Holladay
1:55	Affine Dynamic Logic [paper \| slides] Vishant Prabhakaran
2:10-2:40 Second Session: Verified Amusement
2:10	RollerCoaster Tycoon X: Like the Original, but Safer [paper \| slides \| study] Adriel Luo & Xue An Chuang
2:25	2D Game Design as CPS [paper \| slides \| study] Vidya Narayanan
2:40-3:00 Break
3:00-3:45 Third Session: (Space)Ship Verification
3:00	What's up, Dock? Provably Safe Boat Maneuvers [paper \| slides \| study] William Ganucheau
3:15	Apollo 18: The KeY to the Next Mission to the Moon [paper \| slides \| study] Richard Zhu & Jon Xia
3:30	Ship Outta Luck [paper \| slides \| study] Jordan Tick and Irene Li
3:45-4:15 Fourth Session: KeYmaera X Advances
3:45	Implementing Virtual Substitution for KeYmaera X [paper \| study] Manuel Fernández
4:00	A KeYmaera X Visualizer [paper \| slides \| study] Chris Yu
4:15-4:45 Fifth Session: Performing Arts
4:15	In the Spotlight: Verifying Automated Follow-Spots used in Theatrical Environments [paper \| slides \| study] Rebecca Jesurum
4:30	Dance Without Embarrassing Yourself: A Cooperative Hybrid System [paper \| slides \| study] Nazlı Uzgur & Tia Jiang
4:45-5:00 Break
5:00-5:30 Judges in Closed Session
5:30-6:00 Presentation of Awards