ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
0 stars 0 forks source link

BoxHybridEvolver #14

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)


Introduce a new hybrid evolver which relies on boxes rather than TaylorSets as much as possible, in order to either speed up the evolution or to include the approximation error rather than leave it to accumulate.