Skip to content
A utility for parallel computation of interval overapproximations to reachable sets of nonlinear control systems, powered by the pFaces acceleration ecosystem; more briefly, a Parallel Interval Reachability Kernel.
C C++ Shell Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Default
ex_n_link
ex_tridiag
kernel-pack
kernel
speed_test_ctmm
speed_test_gb
speed_test_mc
test_config
.gitignore
Makefile
ctmm-quickie.sh
modify_all_tests.sh
results_tesla_200mil.txt
run_ex_n_link.sh
run_ex_tridiag.sh
run_speed_test_ctmm.sh
run_speed_test_gb.sh
run_speed_test_mc.sh
run_test_config.sh
test
test.bak
test1
You can’t perform that action at this time.