Classes
struct	HybridizationElement
Public Member Functions
	ReachHybridization (DynamicalSystem *nonLinearSystem, Hpolyhedron initialSet, Number error, Number dt)
virtual	~ReachHybridization ()
void	reach (int nbstep=1)
Number	getDiscretizationTime () const
void	setDiscretizationTime (Number discretizationTime)
Number	getErrorBound () const
void	setErrorBound (Number errorBound)
std::vector< Hpolyhedron >	getReachabilityResult () const
std::vector< Hpolyhedron >	getDomainsCreated () const
std::vector< std::vector < HybridizationElement > >	getHybElementsResult () const

Constructor & Destructor Documentation

nltool::ReachHybridization::ReachHybridization	(	DynamicalSystem *	nonLinearSystem,
		Hpolyhedron	initialSet,
		Number	error,
		Number	dt
	)

Constructor

Parameters:

nonLinearSystem	a non-linear system to analyse
initialSet	the initial set containing the possible initial states
errorBound	a desired precision for the approximation
dt	a discrertization time step

nltool::ReachHybridization::~ReachHybridization ( ) [virtual]

Destructor

Member Function Documentation

void nltool::ReachHybridization::reach ( int nbstep = 1 )

Reachability function which compute the reachable

Parameters:

nbstep the number of reachable set computed

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