Benchmarks 2019

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output TimingMaximilian Gaukler and Peter Ulbrichattachment
Verification of Closed-loop Systems with Neural Network ControllersDiego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnsonattachment

Benchmarks 2018

Linear Differential-Algebraic EquationsPatrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnsonattachment
Discrete-Space Analysis of Partial Differential EquationsHoang-Dung Tran, Tianshu Bao and Taylor T. Johnsonattachment
Verification of Continuous Time Recurrent Neural NetworksPatrick Musau and Taylor T. Johnsonattachment
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated ManeuversPeter Heidlauf, Alexander Collins, Michael Bolender and Stanley Bakattachment
Space Debris Collision Detection using ReachabilityKerianne Hobbs, Peter Heidlauf, Alexander Collins and Stanley Bakattachment
Lane change maneuver for autonomous vehiclesNikolaos Kekatos, Daniel Hess and Goran Frehseattachment
Benchmarks for stochastic models from building automation systemsNathalie Cauchi and Alessandro Abateattachment

Benchmarks 2017

A Smart-Grid Energy Management Problem for Data-Driven Design with Probabilistic Reachability GuaranteesDaniele Ioli, Alessandro Falsone, Marianne Hartung, Axel Busboom and Maria Prandiniattachment
A Benchmark for Component-based Hybrid Systems Safety VerificationAndreas Muller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and Andre Platzerattachment
Reachability Analysis of Transformer-Isolated DC-DC ConvertersOmar Beg, Ali Davoudi and Taylor T Johnsonattachment
An Autonomous Vehicle Control StackAlena Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli and Rahul Mangharamattachment
Distributed Autonomous SystemsHoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang and Taylor Johnson-
Verifying Safety of an Autonomous Spacecraft Rendezvous Mission

Nicole Chan and Sayan Mitra


Benchmarks 2016

Benchmarks 2015

Benchmark problem: an air brake model for trainsLuca Parolini, Simone Schuler, Adolfo Antaattachment
Benchmark: Quadrotor Attitude ControlAntonio Eduardo Carrilho da Cunhaattachment
Benchmark: Stratified Controllers of Tank NetworksStanley Bak, Sergiy Bogomolov, Marius Greitschus, Taylor T. Johnsonattachment
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical AnalysisHoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnsonattachment

Benchmarks 2014