| Table of Contents |
|---|
Final Projects
The Spring 2016 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.Theory and Tooling for Hybrid Systems
-
Units of Measure for Hybrid Programs
[paper | slides | Implementation] Vincent Huang -
Differential Equations through Temporal Logic and Infinitesimals
[paper | slides] Evan Cavallo
Aerospace
-
Safety of Satellites: Recircularization of Orbits
[paper | slides | study] Anthony Ko -
Orbital Mechanics of Gravitational Slingshots
[paper | slides | study] Adam Moran & John Mann -
Drone Ship Lander
[paper | slides | study] David Kyle
Robots and Ground Vehicles
-
Verifying Safety for a Hopping, Straight-Legged Bipeded Robot
[paper | slides | study] David Bayani -
Flock on the March
[paper | slides | study] Zihan Zhou -
Safe Path Planning for an Autonomous Agent in a Hostile Environment
[paper | slides | study] Jimit Gandhi and Astha Prasad -
NASCAR Refueling Challenges: The Strategy behind a Pit Stop
[paper | slides | study] Connie Wang -
Amazon Fulfillment Centers: Robot Interactions in a Distributed System Paradigm
[paper | slides | study] Rohan Meringenti and Abdel Bourai
Internet of Things
-
KeYTuner: A Hybrid Guitar Tuning System
[paper | slides | study] Pallavi Santhosh Kumar -
IoTSafe: A Safe & Verified Security Controller for Internet-of-Things
[paper | slides | study] Tianlong Yu -
Safe Diving
[paper | slides | study] Karim Elmaaroufi and Viren Bajaj
Project Teasers
 |
 |
 |
|
 |
 |
 |
 |
 |
 |
 |
 |
 |
Schedule
1:00-1:10 Welcome remarks André Platzer |
|
1:10-2:10 First session |
|
| 1:10 | NASCAR Refueling Challenges: The Strategy behind a Pit Stop Connie Wang |
| 1:20 | Units of Measure for Hybrid Programs Vincent Huang |
| 1:30 | Flock on the March Zihan Zhou |
| 1:40 | KeYTuner: A Hybrid Guitar Tuning System Pallavi Santhosh Kumar |
| 1:50 | Safety of Satellites: Recircularization of Orbits Anthony Ko |
2:10-2:30 Break |
|
2:30-3:30 Second session |
|
| 2:40 | Safe Path Planning for an Autonomous Agent in a Hostile Environment Jimit Gandhi & Astha Prasad |
| 2:50 | Orbital Mechanics of Gravitational Slingshots Adam Moran and John Mann |
| 3:00 | Drone Ship Lander David Kyle |
| 3:10 | IoTSafe: A Safe & Verified Security Controller for Internet-of-Things Tianlong Yu |
3:30-3:50 Break |
|
3:50-4:30 Third session |
|
| 3:50 | Verifying Safety for a Hopping, Straight-Legged Bipeded Robot David Bayani |
| 4:00 | Safe Diving Karim Elmaaroufi & Viren Bajaj |
| 4:10 | Differential Equations through Temporal Logic and Infinitesimals Evan Cavallo |
| 4:20 | Amazon Fulfillment Centers: Robot Interactions in a Distributed System Paradigm Rohan Meringenti & Abdel Bourai |
4:30-5:00 Break, Judges in Closed Session |
|
5:00-5:30 Presentation of Awards |
|
Awards
In an amazingly tough competition with numerous verification rockstar quality projects, the judges finally settled on the following awards:- Vincent Huang
- Karim Elmaaroufi & Viren Bajaj
- Evan Cavallo
- Anthony Ko
- Jimit Gandhi & Astha Prasad
- Connie Wang