ODEBND
mc::ODEBND_GSL< T, PMT, PVT > Class Template Reference

C++ class computing enclosures of the reachable set of parametric ODEs using continuous-time set-valued integration. More...

#include <odebnd_gsl.hpp>

Inheritance diagram for mc::ODEBND_GSL< T, PMT, PVT >:
Collaboration diagram for mc::ODEBND_GSL< T, PMT, PVT >:

List of all members.

Classes

class  Exceptions
 Structure for setting up storing the solver exceptions. More...
struct  Options
 Integrator options. More...
struct  Results
 Integration results at a given time instant. More...

Public Member Functions

 ODEBND_GSL ()
 Default constructor.
virtual ~ODEBND_GSL ()
 Virtual destructor.
STATUS bounds (const unsigned int ns, const double *tk, const T *Ip, T **Ixk, std::ostream &os=std::cout)
 Computes interval enclosure of reachable set of parametric ODEs.
STATUS bounds (const unsigned int ns, const double *tk, const PVT *PMp, PVT **PMxk, E *Exk=0, std::ostream &os=std::cout)
 Computes polynomial model enclosure of reachable set of parametric ODEs.
STATUS hausdorff (const unsigned int ns, const double *tk, const T *Ip, double **Hxk, const unsigned int nsamp, std::ostream &os=std::cout)
 Computes Hausdorff distance between interval enclosure and actual reachable set of parametric ODEs, using parameter sampling.
STATUS hausdorff (const unsigned int ns, const double *tk, const PVT *PMp, double **Hxk, const unsigned int nsamp, std::ostream &os=std::cout)
 Computes Hausdorff distance between polynomial model remainder enclosure and actual remainder function range, using parameter sampling.
void record (std::ofstream &bndrec, const unsigned int iprec=5) const
 Record results in file bndrec, with accuracy of iprec digits.
double final_time () const
 Return value of final time reached.

Public Attributes

Stats stats_traj
 Statistics for state bounds integration.

Static Public Attributes

static ODEBND_GSL< T, PMT, PVT > * pODEBND_GSL = 0
 static pointer to class

Static Protected Member Functions

static void _init_stats (Stats &stats)
 Function to initialize GSL statistics.
static void _final_stats (Stats &stats)
 Function to finalize GSL statistics.
static void _print_stats (const Stats &stats, std::ostream &os=std::cout)
 Function to display GSL statistics.

Protected Attributes

double * _vec_state
 full GSL state
double _h
 stepsize

Detailed Description

template<typename T, typename PMT = mc::TModel<T>, typename PVT = mc::TVar<T>>
class mc::ODEBND_GSL< T, PMT, PVT >

mc::ODEBND_GSL is a C++ class that computes enclosures of the reachable set of parametric ordinary differential equations (ODEs) using continuous-time set-valued integration. It implements the methods of differential inequalities, whereby polynomial models with interval or ellipsoidal remainders are used to enable high- order convergence. The use of ellipsoidal remainders enables stability of the enclosures for asymptotically stable ODE systems when the parameter host is sufficiently small. The numerical integrator is gsl_odeiv2 in GSL.


The documentation for this class was generated from the following file: