Hybrid systems

Reachability analysis of linear hybrid systems via block decomposition

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

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

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

JuliaReach: a Toolbox for Set-Based Reachability

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

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)