Reachability

Taylor expanding ODE solutions

Reachability analysis of linear hybrid systems via block decomposition

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

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

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

by Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Daniel Freire, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, and Mark Wetzlinger (2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

by Luca Geretti and Julien Alexandre Dit Sandretto and Matthias Althoff and Luis Benet and Alexandre Chapoutot and Xin Chen and Pieter Collins and Marcelo Forets and Daniel Freire and Fabian Immler and Niklas Kochdumper and David P. Sanders and Christian Schilling (2020)

Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions

by Marcelo Forets, Daniel Freire, Christian Schilling (2020)

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

by Fabian Immler, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Marcelo Forets, Luca Geretti, Niklas Kochdumper, David P. Sanders and Christian Schilling (2019)

JuliaReach: a Toolbox for Set-Based Reachability

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

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

by Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling and Stefan Schupp (2018)

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

by Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski and Christian Schilling (2018)