search

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

TaylorModel::_range3() does not work correctly #31

Closed lgeretti closed 8 years ago

lgeretti commented 8 years ago

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

By using the laser example with x0 = 0.0, step_size = 5e-6 and pass_period = 0.04, there is a reached set whose range is calculated very coarsely for variables z and zi. Using _range1() solves the problem.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

The issue arised due to x4 crossing 0.0. Deprecating _range3() due to its high susceptibility.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Temporarily using _range1()