ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Improving grid method scalability #754

Open okrima opened 1 year ago

okrima commented 1 year ago

Enhance grid method to Improving scalability:

An optional strategy should be implemented whereby the gridding of the initial set takes place on a subspace of the continuous space, so that thousands of trajectories are avoided. This is a rather small and simple job to do.