A tool for parallel computation of interval over-approximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.
formal-methods
monte-carlo-simulation
parallel-algorithm
reachability-analysis
dynamical-system
pfaces
reachable-sets
growth-bound
interval-rechability
mixed-monotone
-
Updated
Mar 10, 2023 - C++