ODEBND
|
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>
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. |
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.