growth-bound

There are 0 repository under growth-bound topic.

mkhaled87 / pFaces-PIRK
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.
reachability-analysis reachable-sets formal-methods parallel-algorithm pfaces growth-bound monte-carlo-simulation interval-rechability mixed-monotone dynamical-system
Language:C++ 5

mkhaled87 / pFaces-PIRK