51 f <<
dot(x) == p*x*(1.0-
y);
52 f <<
dot(y) == p*y*(x-1.0);
61 p_init(0) =
T( &Mod, 0,
Interval(2.95,3.05));
70 integrator.
integrate( 0.0, 8.0, &x_init, &p_init );
Implements a templated dense matrix class.
C++ template class for definition of and operation on variables in a Taylor model.
Tmatrix< Interval > integrate(double t0, double tf, int M, const Tmatrix< Interval > &x)
USING_NAMESPACE_ACADO typedef TaylorVariable< Interval > T
returnValue set(OptionsName name, int value)
#define USING_NAMESPACE_ACADO
Implements a rudimentary interval class.
Validated integrator for ODEs based on Taylor models with ellipsoidal remainder term.
Expression dot(const Expression &arg)
Allows to setup and evaluate differential equations (ODEs and DAEs) based on SymbolicExpressions.
C++ class supporting the definition and computation of Taylor models for factorable functions...