| Table of Contents |
|---|
Final Projects
The Fall 2014 students of the CMU 15-424/624 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.Robot Projects
- Under the Robotic Knife: A Verifiable Controller for use of Multiple Robotic Arms in Surgery
[paper | slides | study] Zachary Barnes - Safe Robot Follow-The-Leader in the Plane
[paper | slides | study] Austin Davis & David Wise - Robot Arm Verification
[paper | slides | study] Akul Penugonda - Robots Playing Catch
[paper | slides | study] Brandon Tolsch
Car Projects
- R2D2 Goes to Buggy
[paper | slides | study] Anastassia Kornilova & Emily Yeh - Why Did the Chicken Cross the Road? Because it Could.
[paper | slides | study] Bohan Li & Eugene Choi - Need for Speed: Tokyo Drift Hot Wheels Edition
[paper | slides | study] Eric Wong & Frederick Chen
Air and Space Projects
- The Returning Rocket: Friend or Foe?
[paper | slides | study] David Franklin & Phillip Massey - Asteroid Approach
[paper | slides | study] Kerry Snyder
KeYmaera Projects
- Improving KeYmaera: Less Clicking, More Typing, and Hopefully More Proving
[paper | slides | study] Alex Hofer & Javier Vazquez-Trejo
Other Projects
- A CPS Analysis of Pong
[paper | slides | study] Felix Hutchison & Milda Zizyte - Formal Verification of One Dimensional Time Triggered PID Controllers
[paper | slides | study] Kenneth Payson
Project Teasers
 |
 |
 |
 |
 |
 |
 |
 |
 |
 |
"Falcon rocket family" by Craigboy - Own work. Licensed under CC BY-SA 3.0 via Wikimedia Commons
Schedule
1:00-1:10 Welcome remarks André Platzer |
|
1:10-2:10 First session |
|
| 1:10 | The Returning Rocket: Friend or Foe? David Franklin & Phillip Massey |
| 1:20 | Why Did the Chicken Cross the Road? Because it Could. Bohan Li & Eugene Choi |
| 1:30 | Robot Arm Verification Akul Penugonda |
| 1:40 | CPS Analysis of Pong Felix Hutchison & Milda Zizyte |
| 1:50 | Need for Speed: Tokyo Drift Hot Wheels Edition Eric Wong & Frederick Chen |
2:10-2:30 Break |
|
2:30-3:30 Second session |
|
| 2:30 | Alumn:
Safe Ball Passing in RoboCup Alexei Colin |
| 2:40 | Under the Robotic Knife: A Verifiable Controller for Use of Multiple Robotic Arms in Surgery Zachary Barnes |
| 2:50 | Robots Playing Catch Brandon Tolsch |
| 3:00 | Formal Verification of One Dimensional Time Triggered PID Controllers Kenneth Payson |
| 3:10 | Asteroid Approach Kerry Snyder |
3:30-3:50 Break |
|
3:50-4:40 Third session |
|
| 3:50 | Alumn:
Verified Lunar Lander Neil Bhasin |
| 4:00 | R2D2 Goes to Buggy Anastassia Kornilova & Emily Yeh |
| 4:10 | Safe Robot Follow-the-Leader in the Plane Austin Davis & David Wise |
| 4:20 | Improving KeYmaera: Less Clicking, More Typing, and Hopefully More Proving Alex Hofer & Javier Vazquez-Trejo |
4:40-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:- Eric Wong & Frederick Chen: Need for Speed: Tokyo Drift Hot Wheels Edition
- Anastassia Kornilova & Emily Yeh: R2D2 Goes to Buggy
- Alex Hofer & Javier Vazquez-Trejo: Improving KeYmaera: Less Clicking, More Typing, and Hopefully More Proving
- Zachary Barnes: Under the Robotic Knife: A Verifiable Controller for Use of Multiple Robotic Arms in Surgery
- Felix Hutchison & Milda Zizyte: CPS Analysis of Pong
- Kerry Snyder: Asteroid Approach