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

C++ class computing (validated) enclosures of the reachable set of parametric ODEs using Taylor series expansion and polynomial models with convex remainder terms. More...

#include <odebnd_val.hpp>

Collaboration diagram for mc::ODEBND_VAL< 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...
struct  Stats
 Structure storing integration statistics. More...

Public Member Functions

 ODEBND_VAL ()
 Default constructor.
virtual ~ODEBND_VAL ()
 Default destructor.
STATUS bounds (const unsigned int ns, const double *tk, const PVT *PMp, PVT **PMxk, E *ERxk=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 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.

Detailed Description

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

mc::ODEBND_VAL is a C++ class that computes enclosures of the reachable set of parametric ordinary differential equations (ODEs) using MC++. It implements a validated method based on Taylor series expansion in time of the ODE solutions, 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 documentation for this class was generated from the following file: