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

  1. Home
  2. >>
  3. Courses
  4. >>
  5. LFCPS Fa19
  6. >>
  7. Projects
Table of Contents
  1. Final Project Schedule
  2. Project Teasers
  3. Awards

Final Project Schedule

The Fall 2019 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:20  Introduction of Judges and dL André Platzer

1:20-2:00  First Session: Simone and Spiders

1:20Modelling Safe and Efficient Tumbles of an Acrobatically Inclined Robot
[paper | slides | study] Rachel Cleaveland
1:40Modeling and Orb-Weaver Capture Spiral
[paper | slides | study] Benjamin Smith

2:00 - 2:05   Break

2:05 - 2:45   dL and Infrastructure

2:05Versatile CPS for Data Center Cooling
[paper | slides | study] John Rollinson and J Su
2:25Lots & Lots of Trains: Efficient Transit with Distributed Hybrid Systems
[paper | slides | study] Karen Bowman and Joshua Kalapos

2:45-2:50   Break

2:50 - 3:30   Third Session: Exploring Extensions of dL

2:50Nondeterministic Discrete Stochastic Differential Dynamic Logic
[paper | slides | study] Sam Kim
3:10Facilitating Concurrency in Hybrid Programs
[paper | slides | study] Long Pham and Haithem Turki

3:30 - 3:40   Break

3:40 - 4:00   Fourth Session: Robots in the Real World

3:40Verified Cruise Control System on RC Vehicle
[paper | slides | study] Yufei Wang and Shashank Ojha

4:00-4:20   Break

4:20 - 4:55   Judges in Closed Session

4:55 - 5:30   Presentation of Awards



Project Teasers

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


In an amazingly tough competition with numerous verification rockstar quality projects, the judges finally settled on the following awards:
  1. Samuel Kim
  2. Long Pham and Haithem Turki
  3. Rachel Cleaveland
Honorable Mentions: