Verification of System Safety

Ensure that safety guarantees hold under all dynamically feasible behaviors

Example

Hybrid Dynamical Systems

Approach the complex interaction of events and differential equations with set propagation techniques

Article

Neural Network Robustness

Assess robustness of neural network controlled systems using set-based Reachability Analysis

Project

Previous Next

Discover

A research-level, modular and high-performance software ecosystem

ReachabilityAnalysis.jl

Methods to compute sets of states reachable by dynamical systems

Feb 1, 2021

See all

What’s new

Explore new features in instructional notebooks

*

All Reachability Other

Taylor expanding ODE solutions

Best Result Award: Applied Verification for Continuous and Hybrid Systems 2020

Publications

Reproducible software, applications in peer-reviewed journals and conferences

Reachability analysis of linear hybrid systems via block decomposition

by Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling (2020)

Preprint Conference Article Talk Slides

Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model

by Sergiy Bogomolov, Marcelo Forets, Kostiantyn Potomkin (2020)

Conference Article

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

by Matthias Althoff, Stanley Bak, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Rajarshi Ray, Christian Schilling and Stefan Schupp

See all

Knowledge Base

In-depth technical articles about reachability and related topics

Who we are

Meet the team of researchers and students that form the JuliaReach network

Team Members

Luis Benet

Universidad Nacional Autónoma de México

Validated integration, Nonlinear Physics

Marcelo Forets

Universidad de la República, Uruguay

Reachability Analysis, Hybrid Systems

Daniel Freire Caporale

Universidad de la República, Uruguay

Reachability, PDEs, Fluid Mechanics

Sebastian Guadalupe

Julia Seasons of Contributions ‘20 Student

Mathematical Modeling, Hybrid systems

Jorge Pérez Zerpa

Universidad de la República, Uruguay

Finite Element Method, Structural Engineering, Material Identification

David P. Sanders

Universidad Nacional Autónoma de México

Set-valued methods, Interval arithmetic, Constraint propagation

Christian Schilling

University of Konstanz, Germany

Formal Verification, Artificial Intelligence, Cyber-Physical Systems

Contact

• Discuss on Gitter