Search Results for author:
Found 6 papers, 0 papers with code
Safe Reach Set Computation via Neural Barrier Certificates
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.
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Reachability analysis of nonlinear dynamical systems is a challenging and computationally expensive task.
Reachability analysis of linear hybrid systems via block decomposition
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
We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems.
Systems and Control Dynamical Systems
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices
Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety.
Systems and Control Dynamical Systems
Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems
PDDL+ planning has its semantics rooted in hybrid automata (HA) and recent work has shown that it can be modeled as a network of HAs.
