97 citations · 114 across the 4 of their papers we have counts for
4 papers · 1 filter
Safe Reach Set Computation via Neural Barrier Certificates
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala +2
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task. Computing the reachable states for linear systems, in contrast, can often…
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…
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…