codac_CtcLohner.h File Reference

#include "codac_DynCtc.h"
#include "codac_TFnc.h"
#include "codac_Slice.h"

Include dependency graph for codac_CtcLohner.h:

Go to the source code of this file.

Classes
class	codac::CtcLohner
	\(\mathcal{C}_\textrm{lohner}\) that contracts a tube \([\mathbf{x}](\cdot)\) according to a differential constraint \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\) More...

Namespaces
namespace	codac
	FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function on a given box until the Hausdorff distance between two iterations is less than a given ratio. This operation can be seen as a contractor on the boundary of the solution set.

Detailed Description

CtcLohner class

Date

2020

Author

Auguste Bourgois

Copyright

Copyright 2020 Codac Team

License: This program is distributed under the terms of

the GNU Lesser General Public License (LGPL).