00001 /* 00002 * This file is part of ACADO Toolkit. 00003 * 00004 * ACADO Toolkit -- A Toolkit for Automatic Control and Dynamic Optimization. 00005 * Copyright (C) 2008-2014 by Boris Houska, Hans Joachim Ferreau, 00006 * Milan Vukov, Rien Quirynen, KU Leuven. 00007 * Developed within the Optimization in Engineering Center (OPTEC) 00008 * under supervision of Moritz Diehl. All rights reserved. 00009 * 00010 * ACADO Toolkit is free software; you can redistribute it and/or 00011 * modify it under the terms of the GNU Lesser General Public 00012 * License as published by the Free Software Foundation; either 00013 * version 3 of the License, or (at your option) any later version. 00014 * 00015 * ACADO Toolkit is distributed in the hope that it will be useful, 00016 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00017 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00018 * Lesser General Public License for more details. 00019 * 00020 * You should have received a copy of the GNU Lesser General Public 00021 * License along with ACADO Toolkit; if not, write to the Free Software 00022 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA 00023 * 00024 */ 00025 00026 00027 00034 #include <acado/validated_integrator/ellipsoidal_integrator.hpp> 00035 00036 00037 USING_NAMESPACE_ACADO 00038 00039 00040 /* >>> start tutorial code >>> */ 00041 int main( ){ 00042 00043 // DEFINE VARIABLES: 00044 // ---------------------- 00045 DifferentialState x,y; 00046 DifferentialEquation f; 00047 00048 f << dot(x) == y; 00049 f << dot(y) == -x; 00050 00051 Tmatrix<Interval> x_init(2); 00052 x_init(0) = Interval(-1.0,1.0); 00053 x_init(1) = Interval(-1.0,1.0); 00054 00055 EllipsoidalIntegrator integrator( f, 8 ); 00056 00057 integrator.set(INTEGRATOR_PRINTLEVEL, MEDIUM ); 00058 integrator.set(INTEGRATOR_TOLERANCE, 1e-8 ); 00059 integrator.set(ABSOLUTE_TOLERANCE, 1e-10 ); 00060 00061 integrator.integrate( 0.0, 2*M_PI, 1, x_init ); 00062 00063 return 0; 00064 } 00065 /* <<< end tutorial code <<< */ 00066 00067