search

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

Parallelise approximations used in differential inclusion evolver #725

Closed lgeretti closed 1 year ago

lgeretti commented 1 year ago

Since we have to compute multiple reach/evolve sets for DI (due to the more accurate being non rigorous with respect to the reach set, and due to looking for the best approximation), it makes sense to parallelise it. The advantage will not be very significant in most cases since we already optimise along time to use only the most effective approximation.

lgeretti commented 1 year ago

Makes more sense to use the property search framework for that, dropping the current optimisation.