ODEBND
|
Classes | |
struct | mc::ODEBND_VAL< T, PMT, PVT >::Results |
Integration results at a given time instant. More... | |
struct | mc::ODEBND_VAL< T, PMT, PVT >::Options |
Integrator options. More... | |
struct | mc::ODEBND_VAL< T, PMT, PVT >::Stats |
Structure storing integration statistics. More... | |
class | mc::ODEBND_VAL< T, PMT, PVT >::Exceptions |
Structure for setting up storing the solver exceptions. More... | |
Functions | |
mc::ODEBND_VAL< T, PMT, PVT >::ODEBND_VAL () | |
Default constructor. | |
virtual | mc::ODEBND_VAL< T, PMT, PVT >::~ODEBND_VAL () |
Default destructor. | |
STATUS | mc::ODEBND_VAL< T, PMT, PVT >::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 | mc::ODEBND_VAL< T, PMT, PVT >::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 | mc::ODEBND_VAL< T, PMT, PVT >::record (std::ofstream &bndrec, const unsigned int iprec=5) const |
Record results in file bndrec, with accuracy of iprec digits. | |
double | mc::ODEBND_VAL< T, PMT, PVT >::final_time () const |
Return value of final time reached. | |
Variables | |
Stats | mc::ODEBND_VAL< T, PMT, PVT >::stats_traj |
Statistics for state bounds integration. |
ODEBND_VAL< T, PMT, PVT >::STATUS mc::ODEBND_VAL< T, PMT, PVT >::bounds | ( | const unsigned int | ntk, |
const double * | tk, | ||
const PVT * | PMp, | ||
PVT ** | PMxk, | ||
E * | Exk = 0 , |
||
std::ostream & | os = std::cout |
||
) | [inline] |
This function computes an interval enclosure of the reachable set of the parametric ODEs defined in IVP using equally spaced samples:
The return value is the status.
ODEBND_VAL< T, PMT, PVT >::STATUS mc::ODEBND_VAL< T, PMT, PVT >::hausdorff | ( | const unsigned int | ns, |
const double * | tk, | ||
const PVT * | PMp, | ||
double ** | Hxk, | ||
const unsigned int | nsamp, | ||
std::ostream & | os = std::cout |
||
) | [inline] |
This function computes the Hausdorff distance between the polynomial model remainder and the actual (sampled) range of the remainder function in projection onto each variable and for each stage time remainder and the actual range of the remainder function: