97 citations · 114 across the 4 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
eess.SY2019★ 11 cited
Reachability analysis of linear hybrid systems via block decomposition
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
Reachability analysis aims at identifying states reachable by a system within a given time horizon. This task is known to be computationally expensive for linear hybrid systems. Re…
eess.SY2019★ 97 cited
JuliaReach: a Toolbox for Set-Based Reachability
Sergiy Bogomolov, Marcelo Forets, Goran Frehse +2
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems. JuliaReach consists of two main packages: Reachability, containing implementations of rea…