File kernel/src/simulationTools/MoreauJeanGOSI.hpp

Go to the source code of this file

class MoreauJeanGOSI : public OneStepIntegrator
#include <MoreauJeanGOSI.hpp>

One Step time Integrator for First Order Dynamical Systems for mechanical Systems (LagrangianDS and NewtonEulerDS)

This integrator is the work horse of the eventcapturing time stepping schemes for mechanical systems. It is mainly based on the pioneering works of M. Jean and J.J. Moreau for the time integration of mechanical systems with unilateral contact, impact and Coulomb’s friction with \(\theta\) scheme

For the linear Lagrangina system, the scheme reads as

\begin{cases} M (v_{k+1}-v_k) + h K q_{k+\theta} + h C v_{k+\theta} - h F_{k+\theta} = p_{k+1} = G P_{k+1},\label{eq:MoreauTS-motion}\\[1mm] q_{k+1} = q_{k} + h v_{k+\theta}, \quad \\[1mm] U_{k+1} = G^\top\, v_{k+1}, \\[1mm] \begin{array}{lcl} 0 \leq U^\alpha_{k+1} + e U^\alpha_{k} \perp P^\alpha_{k+1} \geq 0,& \quad&\alpha \in \mathcal I_1, \\[1mm] P^\alpha_{k+1} =0,&\quad& \alpha \in \mathcal I \setminus \mathcal I_1, \end{array} \end{cases}

with \(\theta \in [0,1]\). The index set \(\mathcal I_1\) is the discrete equivalent to the rule that allows us to apply the Signorini condition at the velocity level. In the numerical practice, we choose to define this set by

\[\begin{equation} \label{eq:index-set1} \mathcal I_1 = \{\alpha \in \mathcal I \mid G^\top (q_{k} + h v_{k}) + w \leq 0\text{ and } U_k \leq 0 \}. \end{equation}\]
.

For more details, we refer to

M. Jean and J.J. Moreau. Dynamics in the presence of unilateral contacts and dry friction: a numerical approach. In G. Del Pietro and F. Maceri, editors, Unilateral problems in structural analysis. II, pages 151–196. CISM 304, Spinger Verlag, 1987.

J.J. Moreau. Unilateral contact and dry friction in finite freedom dynamics. In J.J. Moreau and Panagiotopoulos P.D., editors, Nonsmooth Mechanics and Applications, number 302 in CISM, Courses and lectures, pages 1–82. CISM 302, Spinger Verlag, Wien- New York, 1988a.

J.J. Moreau. Numerical aspects of the sweeping process. Computer Methods in Applied Mechanics and Engineering, 177:329–349, 1999.

M. Jean. The non smooth contact dynamics method. Computer Methods in Applied Mechanics and Engineering, 177:235–257, 1999.

and for a review :

V. Acary and B. Brogliato. Numerical Methods for Nonsmooth Dynamical Systems: Applications in Mechanics and Electronics, volume 35 of Lecture Notes in Applied and Computational Mechanics. Springer Verlag, 2008.

MoreauJeanGOSI class is used to define some time-integrators methods for a list of dynamical systems. A MoreauJeanGOSI instance is defined by the value of theta and the list of concerned dynamical systems.

Each DynamicalSystem is associated to a SiconosMatrix, named “W”, the “iteration” matrix” W matrices are initialized and computed in initializeIterationMatrixW and computeW. Depending on the DS type, they may depend on time t and DS state x.

For mechanical systems, the implementation uses _p for storing the the input due to the nonsmooth law. This MoreauJeanGOSI scheme assumes that the relative degree is two.

For Lagrangian systems, the implementation uses _p[1] for storing the discrete impulse.

Main functions:

  • computeFreeState(): computes xfree (or vfree), dynamical systems state without taking non-smooth part into account
  • updateState(): computes x (q,v), the complete dynamical systems states. See User’s guide for details.

Public Types

enum MoreauJeanGOSI_ds_workVector_id

Values:

RESIDU_FREE
FREE
LOCAL_BUFFER
WORK_LENGTH
enum MoreauJeanGOSI_interaction_workVector_id

Values:

OSNSP_RHS
WORK_INTERACTION_LENGTH
enum MoreauJeanGOSI_workBlockVector_id

Values:

xfree
BLOCK_WORK_LENGTH

Public Functions

MoreauJeanGOSI(double theta = 0.5, double gamma = std::numeric_limits<double>::quiet_NaN())

constructor from theta value only

Parameters
  • theta: value for all linked DS (default = 0.5).
  • gamma: value for all linked DS (default = NaN and gamma is not used).

virtual ~MoreauJeanGOSI()

destructor

ACCEPT_STD_VISITORS()

visitors hook

virtual bool addInteractionInIndexSet(SP::Interaction inter, unsigned int i)

Apply the rule to one Interaction to known if is it should be included in the IndexSet of level i.

Return
Boolean
Parameters
  • inter: the Interaction to test
  • i: level of the IndexSet

virtual void computeFreeState()

Perform the integration of the dynamical systems linked to this integrator without taking into account the nonsmooth input (_r or _p)

void computeInitialNewtonState()

compute the initial state of the Newton loop.

double computeResidu()

return the maximum of all norms for the “MoreauJeanGOSI-discretized” residus of DS

Return
a double

void computeW(double time, SP::DynamicalSystem ds, SiconosMatrix &W)

compute W MoreauJeanGOSI matrix at time t

Parameters

void computeWBoundaryConditions(SP::DynamicalSystem ds)

compute WBoundaryConditionsMap[ds] MoreauJeanGOSI matrix at time t

Parameters

void display()

Displays the data of the MoreauJeanGOSI’s integrator.

virtual void initialize_nonsmooth_problems()

Initialization process of the nonsmooth problems linked to this OSI.

void initializeIterationMatrixW(double time, SP::DynamicalSystem ds)

initialize iteration matrix W MoreauJeanGOSI matrix at time t

Parameters

void initializeIterationMatrixWBoundaryConditions(SP::DynamicalSystem ds)

initialize iteration matrix WBoundaryConditionsMap[ds] MoreauJeanGOSI

Parameters

void initializeWorkVectorsForDS(double t, SP::DynamicalSystem ds)

initialization of the work vectors and matrices (properties) related to one dynamical system on the graph and needed by the osi

Parameters
  • t: time of initialization
  • ds: the dynamical system

void initializeWorkVectorsForInteraction(Interaction &inter, InteractionProperties &interProp, DynamicalSystemsGraph &DSG)

initialization of the work vectors and matrices (properties) related to one interaction on the graph and needed by the osi

Parameters
  • inter: the interaction
  • interProp: the properties on the graph
  • DSG: the dynamical systems graph

void integrate(double &tinit, double &tend, double &tout, int &notUsed)

integrate the system, between tinit and tend (->iout=true), with possible stop at tout (->iout=false)

Parameters
  • tinit: the initial time
  • tend: the end time
  • tout: the real end time
  • notUsed: useless flag (for MoreauJeanGOSI, used in LsodarOSI)

void NSLcontrib(SP::Interaction inter, OneStepNSProblem &osnsp)

Compute the nonsmooth law contribution.

Parameters
  • inter: the interaction (for y_k)
  • osnsp: the non-smooth integrator

unsigned int numberOfIndexSets() const

get the number of index sets required for the simulation

Return
unsigned int

void prepareNewtonIteration(double time)

method to prepare the fist Newton iteration

Parameters
  • time:

virtual bool removeInteractionFromIndexSet(SP::Interaction inter, unsigned int i)

Apply the rule to one Interaction to known if is it should be removed in the IndexSet of level i.

Return
Boolean
Parameters
  • inter: the Interaction to test
  • i: level of the IndexSet

virtual void updatePosition(DynamicalSystem &ds)

update the state of the dynamical systems

Parameters
  • ds: the dynamical to update

virtual void updateState(const unsigned int level)

update the state of the dynamical systems

Parameters
  • level: the level of interest for the dynamics: not used at the time

Protected Functions

ACCEPT_SERIALIZATION(MoreauJeanGOSI)

serialization hooks

Protected Attributes

bool _explicitNewtonEulerDSOperators

a boolean to force the evaluation of T in an explicit way

double _gamma

A gamma parameter for the integration scheme to each DynamicalSystem of the OSI This parameter is used to apply a theta-method to the input $r$.

double _theta

Stl map that associates a theta parameter for the integration scheme to each DynamicalSystem of the OSI.

bool _useGamma

a boolean to know if the parameter must be used or not

bool _useGammaForRelation

a boolean to know if the parameter must be used or not

MapOfDSMatrices _WBoundaryConditionsMap

Stl map that associates the columns of W MoreauJeanGOSI matrix to each DynamicalSystem of the OSI if it has some boundary conditions.

Friends

friend _NSLEffectOnFreeOutput