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

Fix bug in multiplication of Taylor models #735

Closed pietercollins closed 1 year ago

pietercollins commented 1 year ago

There is a bug in the multiplication of Taylor models in which uniform errors arising when sweeping intermediate terms are discarded. This means our Taylor model operations may not yield correct bounds.

pietercollins commented 1 year ago

Fixed.