irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
irafhy::Analyser Class Referenceabstract

#include <analyser.h>

Inheritance diagram for irafhy::Analyser:
Inheritance graph
Collaboration diagram for irafhy::Analyser:
Collaboration graph

Public Member Functions

virtual ~Analyser ()=default
 destructor More...
 
virtual capd::C0Rect2Set compute (const Time &duration, const System &system, const capd::C0Rect2Set &initCondition, const Settings &settings) const =0
 get the reachable condition with given system, initial condition and setting for specified duration More...
 

Constructor & Destructor Documentation

◆ ~Analyser()

virtual irafhy::Analyser::~Analyser ( )
virtualdefault

destructor

Member Function Documentation

◆ compute()

virtual capd::C0Rect2Set irafhy::Analyser::compute ( const Time duration,
const System system,
const capd::C0Rect2Set &  initCondition,
const Settings settings 
) const
pure virtual

get the reachable condition with given system, initial condition and setting for specified duration

Parameters
durationspecified duration
systemgiven continuous dynamics
initConditioninitial condition of the system
settingssettings of the computation
Returns
resulting reachable state set

Implemented in irafhy::Model< Analyser >, and irafhy::Model< irafhy::Analyser >.


The documentation for this class was generated from the following file: