irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
Static Public Member Functions | List of all members
irafhy::ODESolver Class Reference

#include <ODESolver.h>

Collaboration diagram for irafhy::ODESolver:
Collaboration graph

Static Public Member Functions

static capd::C0Rect2Set solve (const System &system, const capd::C0Rect2Set &set, const Time &duration, int TMOrder=30)
 solve the initial value problem using wrapped capd non-rigorous ode solver More...
 

Member Function Documentation

◆ solve()

capd::C0Rect2Set irafhy::ODESolver::solve ( const System &  system,
const capd::C0Rect2Set &  set,
const Time &  duration,
int  TMOrder = 30 
)
static

solve the initial value problem using wrapped capd non-rigorous ode solver

Parameters
systemcontinuous dynamics
setinitial state set
durationduration of the computation
TMOrdermax order of the taylor model
Returns
resulting state set

References irafhy::Time::end(), irafhy::System::odeSystem(), irafhy::Time::range(), and irafhy::Time::start().

Here is the call graph for this function:
The documentation for this class was generated from the following files: