#include <iostream>#include <iomanip>#include <acado/clock/clock.hpp>#include <acado/utils/acado_utils.hpp>#include <acado/user_interaction/algorithmic_base.hpp>#include <acado/matrix_vector/matrix_vector.hpp>#include <acado/variables_grid/variables_grid.hpp>#include <acado/symbolic_expression/symbolic_expression.hpp>#include <acado/function/function.hpp>#include <acado/set_arithmetics/set_arithmetics.hpp>#include <acado/validated_integrator/ellipsoidal_integrator.ipp>

Go to the source code of this file.
Classes | |
| class | EllipsoidalIntegrator |
| Validated integrator for ODEs based on Taylor models with ellipsoidal remainder term. More... | |