IntersectionException in the laser case study

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

IntersectionException in the laser case study #23

Open lgeretti opened 8 years ago

lgeretti commented 8 years ago

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

If the laser pass period is small (e.g., 0.008) and the step size is big enough (e.g., 1e-5), an IntersectionException between TaylorModels is encountered:

Screen Shot 2016-07-13 at 10.38.37.png

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/23