dynamical-system

There are 1 repository under dynamical-system 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
paololapo / Dynamic_FC_analysis
BSc thesis. Tools for analyzing rs-fMRI time series (HCP dataset) with Dynamic Functional Connectivity and a whole-brain nonlinear model.
complex-system computational-neuroscience dynamical-system time-series
Language:Jupyter Notebook 2

mkhaled87 / pFaces-PIRK