Safe Reach Set Computation via Neural Barrier Certificates

no code implementations • 29 Apr 2024 • Alessandro Abate, Sergiy Bogomolov, Alec Edwards, Kostiantyn Potomkin, Sadegh Soudjani, Paolo Zuliani

We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by employing neural barrier certificates.

Autonomous Driving

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

no code implementations • 3 May 2021 • Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin

Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task.

Reachability analysis of linear hybrid systems via block decomposition

no code implementations • 7 May 2019 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Reachability analysis aims at identifying states reachable by a system within a given time horizon.

Systems and Control Dynamical Systems Optimization and Control

JuliaReach: a Toolbox for Set-Based Reachability

no code implementations • 30 Jan 2019 • Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems.

Systems and Control Dynamical Systems