• MATISSE

  • Referenced in 28 articles [sw06311]
  • MATLAB toolbox for safety verification and reachable set computation of large dimensional, constrained linear systems ... checking whether the intersection of the reachable set of the system with an unsafe ... unsafe set to the reachable set of the abstraction of the system is greater than...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • based on a method for overapproximating reachable sets by orthogonal polyhedra. The tool also allows...
  • SpaceEx

  • Referenced in 75 articles [sw10939]
  • Hybrid Systems. We present a scalable reachability algorithm for hybrid systems with piecewise affine ... representations of continuous sets to compute an over-approximation of the reachable states. The algorithm...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • symbolic state storage (vector set), fully symbolic (BDD-based) reachability, distributed reachability (MPI-based...
  • DDebugger

  • Referenced in 15 articles [sw09904]
  • rewriting logic, and rewrites and sets of reachable terms through rules. We use an abbreviation...
  • CORA

  • Referenced in 15 articles [sw25659]
  • physical systems using reachability analysis. CORA integrates various vector and matrix set representations and operations ... that set representations can be exchanged without having to modify the code for reachability analysis...
  • Sapo

  • Referenced in 4 articles [sw23566]
  • calculation of the set of states reachable from a set of initial conditions ... given specification. Sapo can represent reachable sets as unions of boxes, parallelotopes, or parallelotope bundles...
  • MARCO

  • Referenced in 5 articles [sw02719]
  • explicitly calculate conical overapproximations of the reachable set in the invariant of each mode...
  • helperOC

  • Referenced in 4 articles [sw40042]
  • present an overview of basic HJ reachability theory and provide instructions for using the most ... Level Set Toolbox for computing reachable sets. In addition, we review some of the current ... optimal control toolbox for Hamilton-Jacobi Reachability Analysis. All code in this repository is written ... Berkeley Efficient API in C++ for Level Set methods” (BEACLS) here: https://hjreachability.github.io/beacls/...
  • Mcmt

  • Referenced in 24 articles [sw11911]
  • indexes and the elements of the arrays. Sets of states and transitions of a system ... backward reachability procedure which symbolically computes pre-images of the set of unsafe states...
  • TRACER

  • Referenced in 12 articles [sw09484]
  • execution tree which overapproximates the set of all concrete reachable states. If the error location...
  • SPeeDI

  • Referenced in 8 articles [sw00896]
  • states which are equivalent with respect to reachability. This is the case for classes ... given final set of states is reachable, they will terminate, otherwise they may fail...
  • JuliaReach

  • Referenced in 3 articles [sw28217]
  • JuliaReach: a Toolbox for Set-Based Reachability. We present JuliaReach, a toolbox for set-based ... main packages: Reachability, containing implementations of reachability algorithms for continuous and hybrid systems, and LazySets ... algorithms for calculus with convex sets. The library offers both concrete and lazy set representations...
  • Kaa

  • Referenced in 1 article [sw42705]
  • python implementation of reachable set computation using Bernstein polynomials. Reachable set computation ... simplest algorithms for computing reachable sets for discrete nonlinear systems uses parallelotope bundles and Bernstein ... terse Python implementation of reachable set computation which leverages the widely used symbolic package sympy...
  • HyCreate

  • Referenced in 2 articles [sw20138]
  • hybrid automata and computing overapproximations of reachable sets for systems with nonlinear, nondeterministic dynamics with ... complete) reachability can be computed from an initial state. Finally, the computed reach set...
  • ILLTP

  • Referenced in 3 articles [sw40829]
  • Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode...
  • DaDRA

  • Referenced in 1 article [sw40400]
  • analysis provide formal guarantees of the reachable set, they involve complex algorithms that require full ... world settings. We present DaDRA, a Python library that allows for data-driven reachability analysis...
  • TIRA

  • Referenced in 1 article [sw30629]
  • interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems ... tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather...
  • OptimizedDP

  • Referenced in 1 article [sw41829]
  • partial differential equation (PDE), computes backward reachable sets with application in robotics, and contains value...
  • Breach

  • Referenced in 26 articles [sw20822]
  • computation and the property investigation of large sets of trajectories. It relies on an efficient ... latter is used to perform approximate reachability analysis and parameter synthesis. A major novel feature...