Public Member Functions
	ApproximationBuilder (int dimension)
	ApproximationBuilder (int dimension, DynamicalSystem *sys, bool useT=false)
virtual	~ApproximationBuilder ()
LinearSystem	createApproximation (Hpolyhedron &initialSet, Hpolyhedron &approximationDomain, Number errorBound, bool &requiresSplitting)
Simplex	createSimplex (Hpolyhedron initialSet, Number error)
Number	computeMaximalCurvature ()
Matrix	computeTransformationMatrix ()
Matrix	getTransformation () const
void	setTransformation (Matrix transformation)
bool	isUseTransformation () const
void	setUseTransformation (bool useTransformation)
double	getMaxCurvature ()
void	setMaxCurvature (double maxCurvature)
void	setUseDisplacement (bool useDisplacement)
Box	getCurvatureEstimationDomain () const
void	setCurvatureEstimationDomain (Box curvatureEstimationDomain)
unsigned	getDimension ()
void	setNonlinearSystem (DynamicalSystem *nlsys)

Constructor & Destructor Documentation

nltool::ApproximationBuilder::ApproximationBuilder ( int dimension )

Builder create the factory

Parameters:

dimension system dimension

nltool::ApproximationBuilder::ApproximationBuilder	(	int	dimension,
		DynamicalSystem *	sys,
		bool	useT = `false`
	)

Builder create the factory

Parameters:

dimension	system dimension
sys	a non linear system
useT	Flag to use isotropic transformation matrix

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

Destructor

Member Function Documentation

Number nltool::ApproximationBuilder::computeMaximalCurvature ( )

Compute the maximal curvature by computing an important part of the transformation matrix

Returns:: the maximal curvature computed, if negative the computation has failed

Matrix nltool::ApproximationBuilder::computeTransformationMatrix ( )

Compute the transformation matrix

LinearSystem nltool::ApproximationBuilder::createApproximation	(	Hpolyhedron &	initialSet,
		Hpolyhedron &	approximationDomain,
		Number	errorBound,
		bool &	requiresSplitting
	)

Function that creates an approximation of a nonlinear system by a linear system with input given a desired approximation error bound

Parameters:

initialSet	the current reachable set
approximationDomain	the approximation domain returned
errorBound	the precision paramater

Returns:: a linear system with input which approximate accurately the original nonlinear system in the approximation domain

Simplex nltool::ApproximationBuilder::createSimplex	(	Hpolyhedron	initialSet,
		Number	error
	)

Main method to compute a simplex

Parameters:

initialSet	a polyhedra containing the initial set
error	min containment circle radius (linked to the error bound)

Returns:: polyhedra representing the simplex (null if the initial set is too big)

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