codac
Public Member Functions | Protected Attributes | Static Protected Attributes | List of all members
codac::CtcLohner Class Reference

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

#include <codac_CtcLohner.h>

Inheritance diagram for codac::CtcLohner:
Inheritance graph
[legend]
Collaboration diagram for codac::CtcLohner:
Collaboration graph
[legend]

Public Member Functions

 CtcLohner (const Function &f, int contractions=5, double eps=0.1)
 Creates a contractor object \(\mathcal{C}_\textrm{lohner}\). More...
 
void contract (codac::TubeVector &tube, TimePropag t_propa=TimePropag::FORWARD|TimePropag::BACKWARD)
 Contracts the tube with respect to the specified differential constraint, either forward, backward (or both) in time. More...
 
void contract (codac::Tube &tube, TimePropag t_propa=TimePropag::FORWARD|TimePropag::BACKWARD)
 Contracts the tube with respect to the specified differential constraint, either forward, backward (or both) in time. More...
 
- Public Member Functions inherited from codac::DynCtc
 DynCtc (bool intertemporal=true)
 Creates a contractor. More...
 
virtual ~DynCtc ()
 DynCtc destructor.
 
void preserve_slicing (bool preserve=true)
 Specifies whether the contractor can impact the tube's slicing or not. More...
 
void set_fast_mode (bool fast_mode=true)
 Specifies an optional fast mode of contraction. More...
 
void restrict_tdomain (const Interval &tdomain)
 Limits the temporal domain of contractions. More...
 
bool is_intertemporal () const
 Tests if the related constraint is inter-temporal or not. More...
 

Protected Attributes

Function m_f
 forward function
 
int contractions
 number of contractions of the global enclosure by the estimated local enclosure
 
int dim
 dimension of the state vector
 
double eps
 inflation parameter for the global enclosure
 
- Protected Attributes inherited from codac::DynCtc
bool m_preserve_slicing = true
 if true, tube's slicing will not be affected by the contractor
 
bool m_fast_mode = false
 some contractors may propose more pessimistic but faster execution modes
 
Interval m_restricted_tdomain
 limits the contractions to the specified temporal domain
 
const bool m_intertemporal = true
 defines if the related constraint is inter-temporal or not (true by default)
 

Static Protected Attributes

static const std::string m_ctc_name
 class name (mainly used for CN Exceptions)
 
static std::vector< std::string > m_str_expected_doms
 allowed domains signatures (mainly used for CN Exceptions)
 

Detailed Description

\(\mathcal{C}_\textrm{lohner}\) that contracts a tube \([\mathbf{x}](\cdot)\) according to a differential constraint \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\)

Constructor & Destructor Documentation

◆ CtcLohner()

codac::CtcLohner::CtcLohner ( const Function &  f,
int  contractions = 5,
double  eps = 0.1 
)
explicit

Creates a contractor object \(\mathcal{C}_\textrm{lohner}\).

Parameters
ffunction corresponding to the differential constraint \(\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})\)
contractionsnumber of contractions of the global enclosure by the estimated local enclosure
epsinflation parameter for the global enclosure

Member Function Documentation

◆ contract() [1/2]

void codac::CtcLohner::contract ( codac::TubeVector tube,
TimePropag  t_propa = TimePropag::FORWARD|TimePropag::BACKWARD 
)

Contracts the tube with respect to the specified differential constraint, either forward, backward (or both) in time.

Parameters
tubetube to contract
t_propadirection of contraction

◆ contract() [2/2]

void codac::CtcLohner::contract ( codac::Tube tube,
TimePropag  t_propa = TimePropag::FORWARD|TimePropag::BACKWARD 
)

Contracts the tube with respect to the specified differential constraint, either forward, backward (or both) in time.

Parameters
tubetube to contract
t_propadirection of contraction

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