ODEBND
|
C++ class computing enclosures of the reachable set of parametric ODEs using continuous-time set-valued integration. More...
#include <odebnd_gsl.hpp>
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 |
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.