Welcome to DryVR’s user manual!

Release:2.0 Date:01/30/2018

Latest manual url http://dryvr-02.readthedocs.io/en/latest/

DryVR is a framework for verifying cyber-physical systems. It specifically handles systems that are described by a combination of a Black-box Simulator for trajectories and a white-box Transition Graph specifying mode switches. The framework uses a probabilistic algorithm for learning sensitivity of the continuous trajectories from simulation data and includes a bounded reachability analysis algorithm that uses the learned sensitivity.

• Status
• Installation
• Usage
  • Run DryVR Verfication
  • Run DryVR Control Synthesis
  • Plotter
• DryVR’s Verification Language
  • Black-box Simulator
  • Transition Graph
  • Input Format
  • Output Interpretation
  • Advanced Tricks: Verify your own black-box system
• DryVR’s Synthesis Language
  • Input Format
  • Output Interpretation
  • Advanced Tricks: Making control synthesis work on your own black-box system
• Examples and Performance Evaluation
  • Getting started: Simple Automatic Emergency Braking
  • The Autonomous Vehicle Benchmark
  • Verification Examples
  • Verification Peformance Evaluation
  • Synthesis Examples
  • Synthesis Performance Evaluation
• Parameters configuration
• Publications
• People Involved