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
Dec 1, 2024 - C++