CPS V&V I&F Workshop 2016: Program

The CPS V&V Industrial Challenges and Foundations workshop will include a panel session as well as several talks from experts in industry and academia. These talks are meant to set the stage for discussions to be held at the workshop.

Note: this schedule is tentative and is subject to change. Check back here for future updates to the program and schedule.

Thursday, May 5 (optional)

Carnegie Mellon University
13:00 Undergraduate students in the CMU Foundations of Cyber-Physical Systems course will present their final projects to a panel of experts in CPS for the CPS V&V Grand Prix.

Friday, May 6

Carnegie Mellon University
09:00 Welcome and Workshop overview - André Platzer

Aerospace Session

Alwyn E. Goodloe: Challenges to Applying AI in Safety-Critical Systems

Kristin Y. Rozier: Specification: The Biggest Bottleneck in Aerospace V&V and Autonomy






Solutions Session I

Nathan Fulton: The KeYmaera X Theorem Prover

Sriram Sankaranarayanan: Switched Stabilization of Polynomial Dynamical Systems


Lunch Discussion


Car and Ground Robot Session

Jim Kapinski: Challenges in applying V&V technologies to automotive cyber-physical systems

Sarah Loos: Differential Refinement Logic






Solutions Session II

Mo Chen: Some Recent Advances in Hamilton-Jacobi Reachability Theory and Applications

Jie Fu: Scalable temporal logic synthesis for cyber-physical systems

Antonio Iannopollo, Marten Lohstroh: Adaptive Contracts for the Internet of Things

Akshay Rajhans: Recent Advancements in MathWorks Verification and Validation Tools and Techniques




Workshop end


The primary purpose of each talk should be to give context to and provide background for the full group discussions. In order to meet the goals of this workshop, we will feature two kinds of talks: solutions talks and challenge talks. These talks should generally adhere to the following guidelines.

Solution talks should introduce:

  1. The technical core idea behind the V&V and/or AI approach.
  2. A qualitative critical assessment of its applications.
  3. Future CPS and AI challenges that can be connected with emerging techniques such that our community can focus on the most pressing bottlenecks with the biggest potential impacts.
Application challenge talks should introduce:
  1. Background on the fundamental technical characteristics of the particular application domain.
  2. An overview of current use of V&V and AI in the application domain.
  3. Future possibilities for V&V in the application domain, including a discussion on the blocking factors that need to be resolved.