
Chapter 2: Computation
Introduction
This chapter describes the mathematical and algorithmic foundations of MuJoCo. The overall framework is fairly standard for readers familiar with modeling and simulation in generalized or joint coordinates. Therefore we summarize that material briefly. Most of the chapter is devoted to how we handle contacts and other constraints. This approach is based on our recent research and is unique to MuJoCo, so we take the time to motivate it and explain it in detail. Additional information can be found in the paper below, although some of the technical ideas in this chapter are new and have not been described elsewhere.
Analyticallyinvertible dynamics with contacts and constraints: Theory and implementation in MuJoCo
E. Todorov (2014). In proceedings of the IEEE International Conference on Robotics and Automation.
Motivation for MuJoCo's convex soft contact model
Robots as well as humans interact with their environment primarily through physical contact. Given the increasing importance of physics modeling in robotics, machine learning, animation, virtual reality, biomechanics and other fields, there is need for simulation models of contact dynamics that are both physically accurate and computationally efficient. One application of simulation models is to assess candidate estimation and control strategies before deploying them on physical systems. Another application is to automate the design of those strategies  usually through numerical optimization that uses simulation in an inner loop. The latter application imposes an additional constraint: the objective function defined with respect to the contact dynamics should be amenable to numerical optimization. The contact model underlying MuJoCo has benefits along these and other relevant dimensions. In the following sections we discuss its benefits, while clarifying the differences from the linear complementarity (LCP) family of contact models which are the de facto standard.
Physical realism and soft contacts
Many of the advantages of our contact model can be traced to the fact that we drop the strict complementarity constraint at the heart of the LCP formulation. We will call this family of models convex; see References for related work. For frictionless contacts dropping the explicit complementarity constraint makes no difference, because the KarushKuhnTucker (KKT) optimality conditions for the resulting convex quadratic program are equivalent to an LCP. But for frictional contacts there are differences.
If one sees convex models as approximations to LCP, the logical question to ask is how good that approximation is. However we do not see it that way. Instead, we see both LCP models and convex models as different approximations to physical reality, each with its strengths and weaknesses. The immediate consequence of dropping strict complementarity and replacing it with a cost is that complementarity can be violated  meaning that force and velocity in the contact normal direction can be simultaneously positive, and frictional forces may not be maximally dissipative. A related phenomenon is that the only way to initiate slip is to generate some motion in the normal direction. These effects are numerically small yet undesirable. This shortcoming however has little practical relevance, because it is premised on the assumption of hard contact. Yet all physical materials allow some deformation. This is particularly important in robotics, where the parts of the robot that come in contact with the environment are usually designed to be soft. For soft contacts complementarity has to be violated: when there is penetration and the material is pushing the contacting bodies apart, both the normal force and velocity are positive. Furthermore if an object is resting on a soft surface with some penetration, and we push it sideways, we would expect it to move up a bit as it starts sliding. So the deviations from LCP actually increase physical realism in the presence of soft contacts.
Of course not every soft model is desirable; for example springdamper models are soft but are plagued by instabilities. At the same time different materials have different profiles, and so unlike hard contact models, a soft model must have sufficiently rich parameterization if it is to be adapted to multiple systems of interest. This in turn facilitates system identification of contact model parameters.
Computational efficiency
LCP models with frictional contact correspond to NPhard optimization problems. This has given rise to an industry of approximate solvers, with the unfortunate sideeffect that many popular physics engines use poorlydocumented shortcuts and the resulting equations of motion are difficult to characterize. To be fair, NPhardness is a statement about worstcase performance and does not mean that solving the LCP quickly is impossible in practice. Still, convex optimization has wellestablished advantages. In MuJoCo we have observed that for typical robotic models, 10 sweeps of a projected GaussSeidel method (PGS) yield solutions which for practical purposes are indistinguishable from the global minimum. Of course there are problems that are much harder to solve numerically, even though the are convex, and for such problems we have conjugate gradient solvers with higherorder convergence.
The requirements for computational efficiency are different depending on the use case. If all we need is realtime simulation, modern computers are fast enough to handle most robotic systems of interest even with inefficient solvers. In the context of optimization however, there is no such thing as fastenough simulation. If the objective functions and their derivatives can be computed faster, this translates into larger search horizons or training sets or sample sizes, which in turn leads to increased performance. This is why we have invested a lot of effort in developing efficient solvers.
Continuous time
One might have thought that the equations of motion for any physical system would be uniquely defined in continuous time. However frictional contacts are problematic because the Coulomb friction model is not welldefined in continuous time (Painleve's paradox). This has made discretetime approximations and associated velocitystepping schemes very popular. The continuoustime limit of these models is rarely investigated. For a single contact and under not necessarily realistic assumptions on the applied forces, the limit satisfies the differentialinclusion form of the Coulomb friction model, while for multiple simultaneous contacts there can be multiple solutions depending on how exactly the continuoustime limit is taken. These difficulties can be traced to the assumption of hard contact.
Convex models of frictional contact have also relied on discretetime approximations in the past, but this is not necessary. The present model is defined in continuoustime, in terms of forces and accelerations. This is more natural given that time in the real world is continuous. It is also the preferred formulation in the controls literature, and indeed we are hoping that MuJoCo will attract users from that community. Another advantage of continuoustime formulations is that they are amenable to sophisticated numerical integration, without having to pay the computational overhead of discretetime variational integrators (which are necessarily implicit when the inertia is configurationdependent). Continuoustime dynamics are also welldefined backward in time, which is needed in some optimization algorithms.
Inverse dynamics and optimization
The objective of inverse dynamics it to recover the applied force and contact force given the position, velocity and acceleration of the multijoint system. With hard contacts this computation is impossible. Consider pushing against a wall without moving. The contact force cannot be recovered from the kinematics, unless of course we consider the material deformations  in which case we need a soft contact model. Inverse dynamics are trivial to compute with springdamper models of contact, because in that case the contact force is only a function of position and velocity and does not depend on applied force. But this is also the reason why springdamper models are undesirable: ignoring the applied force means that an error is introduced at each time step, and so the simulator is perpetually in errorcorrection mode, in turn causing instabilities. In contrast, modern contact solvers take the applied force (as well as all internal forces) into account when computing the contact force/impulse. But this complicates inversion. The present contact model has a uniquelydefined inverse. The inverse dynamics are in fact easier to compute than the forward dynamics, because the optimization problem becomes diagonal and decomposes into independent optimization problems over individual contacts  which can be solved analytically.
Inverse dynamics play a key role in optimization algorithms arising in system identification, estimation and control. They make it possible to treat the sequence of positions (or a parametric representation thereof) as the object being optimized. Velocities and acceleration are then computed by differentiating the positions; inverse dynamics are used to compute the applied and contact forces; and finally an objective function is constructed which can depend on all of the above. This is interchangeably called spacetime optimization, spectral method, direct collocation. MuJoCo is uniquely suited to facilitate such computations in the presence of contacts and other constraints.
General framework
Our notation is summarized in the table below. Additional notation specific to constraints will be introduced later. When available, we also show the fields of main data structures mjModel and mjData corresponding to the mathematical notation.
\(n_Q\)   number of position coordinates  mjModel.nq 
\(n_V\)   number of degrees of freedom  mjModel.nv 
\(n_C\)   number of active constraints  mjData.nefc 
\(q\)  \(n_Q\)  joint position  mjData.qpos 
\(v\)  \(n_V\)  joint velocity  mjData.qvel 
\(\tau\)  \(n_V\)  applied force: passive, actuation, external  
\(c(q,v)\)  \(n_V\)  bias force: Coriolis, centrifugal, gravitational  mjData.qfrc_bias 
\(M(q)\)  \(n_V \times n_V\)  inertia in joint space  mjData.qM 
\(J(q)\)  \(n_C \times n_V\)  constraint Jacobian  mjData.efc_J 
\(r(q)\)  \(n_C\)  constraint residual  mjData.efc_pos 
\(f(q,v,\tau)\)  \(n_C\)  constraint force  mjData.efc_force 
All model elements are enumerated at compile time and assembled into the above systemlevel vectors and matrices. In our earlier arm model example the model has \(n_V = 13\) degrees of freedom: 3 for the ball joint, one for each of the 4 hinge joints, and 6 for the freefloating object. They appear in the same order in all systemlevel vectors and matrices whose dimensionality is \(n_V\). The data corresponding to a given model element can be recovered via indexing operations as illustrated in the Clarifications section in the Overview chapter. Vectors and matrices with dimensionality \(n_C\) are somewhat different because the active constraints change at runtime. In that case there is still a fixed enumeration order (corresponding to the order in which the model elements appear in mjModel) but any inactive constraints are omitted.
The number of position coordinates \(n_Q\) is larger than the number of degrees of freedom \(n_V\) whenever quaternions are used to represent 3D orientations. This occurs when the model contains ball joints or free joints (i.e. in most models). In that case \(\dot{q}\) does not equal \(v\), at least not in the usual sense. Instead one has to consider the group of rigid body orientations \(SO(3)\)  which has the geometry of a unit sphere in 4D space. Velocities live in the 3D tangent space to this sphere. This is taken into account by all internal computations. For custom computations, MuJoCo provides the function mj_differentiatePos which "subtracts" two position vectors with dimensionality \(n_Q\) and returns a velocity vector with dimensionality \(n_V\). A number of quaternionrelated utility functions are also provided.
MuJoCo computes both forward and inverse dynamics in continuous time. Forward dynamics are then integrated over the specified mjModel.opt.timestep with the chosen numerical integrator. The general equations of motion in continuous time are
\begin{equation}
M \dot{v} + c = \tau + J^T f
\label{eq:motion}
\end{equation}
The Jacobian establishes the relationship between quantities in joint and constraint coordinates. It maps motion vectors (velocities and accelerations) from joint to constraint coordinates: the joint velocity \(v\) maps to velocity \(J v\) in constraint coordinates. The transpose of the Jacobian maps force vectors from constraint to joint coordinates: the constraint force \(f\) maps to force \(J^T f\) in joint coordinates.
The jointspace inertia matrix \(M\) is always invertible. Therefore once the constraint force \(f\) is known, we can finalize the forward and inverse dynamics computations as
\begin{array}{ll}
\text{forward:} & \dot{v} = M^{1} (\tau + J^T f  c) \\
\text{inverse:} & \tau = M \dot{v} + c  J^T f
\end{array}
The computation of the constraint force is the hard part and will be described later. But first, we complete the description of the general framework by summarizing how the above quantities up to the constraint Jacobian are computed.

The applied force \(\tau\) includes passive forces from springdampers and fluid dynamics, actuation forces, and additonal forces specified by the user.

The bias force \(c\) includes Coriolis, centrifugal and gravitational forces. Their sum is computed using the Recursive NewtonEuler (RNE) algorithm with acceleration set to 0.

The jointspace inertia matrix \(M\) is computed using the Composite RigidBody (CRB) algorithm. This matrix is usually quite sparse, and we represent it as such, in a custom format tailored to kinematic trees.

Since we often need to multiply vectors by the inverse of \(M\), we compute its \(L^T D L\) factorization in a way that preserves sparsity. When a quantity of the form \(M^{1} x\) is needed later, it is computed via sparse backsubstitution.
Before any of these computations we apply forward kinematics, which compute the global position and orientation of all spatial objects as well as the joint axes. While it is often recommended to apply RNE and CRB in local coordinates, here we are setting the stage for collision detection which is done in global coordinates, thus RNE and CRB are also implemented in global coordinates. Nevertheless, to improve floating point accuracy, we represent the data for each kinematic subtree in a global frame centered at the subtree center of mass (fields starting with "c" in mjData). A detailed summary of the simulation pipeline is given at the end of the chapter.
Actuation model
MuJoCo provides a flexible actuator model. All actuators are singleinputsingleoutput (SISO). The input to actuator \(i\) is a scalar control \(u_i\) specified by the user. The output is a scalar force \(p_i\) which is mapped to joint coordinates by a vector of moment arms determined by the transmission. An actuator can also have activation state \(w_i\) with its own dynamics. The control inputs for all actuators are stored in mjData.ctrl, the force outputs are stored in mjData.actuator_force, and the activation states (if any) are stored in mjData.act.
These three components of an actuator  transmission, activation dynamics, and force generation  determine how the actuator works. The user can set them independently for maximum flexibility, or use Actuator shortcuts which instantiate common actuator types.
 Transmission

Each actuator has a scalar length \(l_i(q)\) defined by the type of transmission and its parameters. The gradient \(\nabla l_i\) is an \(n_V\)dimensional column vector of moment arms. It determines the mapping from scalar actuator force to joint force. The transmission properties are determined by the MuJoCo object to which the actuator is attached; the possible attachment object types are joint, tendon, site and slidercrank. The latter can also be modeled explicitly by creating MuJoCo bodies and coupling them with equality constraints to the rest of the system, but that would be less efficient.
 Activation dynamics

Some actuators such as pneumatic and hydraulic cylinders as well as biological muscles have an internal state called "activation". This is a true dynamic state, beyond the joint positions \(q\) and velocities \(v\). Including such actuators in the model results in 3rdorder dynamics. We denote the vector of actuator activations \(w\). They have some firstorder dynamics
\[
\dot{w}_i \left(u_i, w_i, l_i, \dot{l}_i\right)
\]
determined by the activation type and corresponding model parameters. Note that each actuator has scalar dynamics independent of the other actuators. The activation types currently implemented are
\begin{align*}
\text{integrator}: \quad & \dot{w}_i = u_i \\
\text{filter}: \quad & \dot{w}_i = (u_i  w_i) / t
\end{align*}
where \(t\) is an actuatorspecific time constant stored in mjModel.actuator_dynprm. In addition the type can be "user", in which case \(w_i\) is computed by the userdefined callback mjcb_act_dyn. The type can also be "none" which corresponds to a regular actuator with no activation state. The dimensionality of \(w\) equals the number of actuators whose activation type is different from "none".
 Force generation

Each actuator generates a scalar force \(p_i\) which is some function
\[
p_i \left(u_i, w_i, l_i, \dot{l}_i\right)
\]
Similarly to activation dynamics, the force generation mechanism is actuatorspecific and cannot interact with the other actuators in the model. Currently the force is affine in the activation state when present, and in the control otherwise:
\[
p_i = (a w_i \; \text{or} \; a u_i) + b_0 + b_1 l_i + b_2 \dot{l}_i
\]
Here \(a\) is an actuatorspecific gain parameter and \(b_0, b_1, b_2\) are actuatorspecific bias parameters, stored in mjModel.actuator_gainprm and mjModel.actuator_biasprm respectively. Different settings of the gain and bias parameters can be used to model direct force control as well as position and velocity servos  in which case the control/activation has the meaning of reference position or velocity. One can also compute custom gain and bias terms by installing the callbacks mjcb_act_gain and mjcb_act_bias and setting the gain and bias type to "user". Note that affine force generation makes it possible to infer the controls/activations from the applied force computed in inverse dynamics, using the pseudoinverse of the matrix of moment arms. However some of the actuators used in the real world are not affine (especially those that have embedded lowlevel controllers), so we are considering extensions to the above model.
Putting all this together, the net force in generalized coordinates contributed by all actuators is
\[
\sum_i \nabla l_i(q) \; p_i \left(u_i, w_i, l_i(q), \dot{l}_i(q,v)\right)
\]
This quantity is stored in mjData.qfrc_actuation. It is added to the applied force vector \(\tau\), together with any userdefined forces in joint or Cartesian coordinates (which are stored in mjData.qfrc_applied and mjData.xfrc_applied respectively).
Passive forces
Passive forces are defined as forces that depend only on position and velocity, and not on control in forward dynamics or acceleration in inverse dynamics. As a result, such forces are inputs to both the forward and inverse dynamics computations, and are indentical in both cases. They are stored in mjData.qfrc_passive. The passive forces computed by MuJoCo are also passive in the sense of physics, i.e. they do not increase energy, however the user can install the callback mjcb_passive and add forces to mjData.qfrc_passive that may increase energy. This will not interfere with MuJoCo's operation as long as such user forces depend only on position and velocity.
MuJoCo can compute two types of passive forces: springdampers in joints and tendons, and fluid dynamics. When Euler integration is used, joint damping is integrated implicitly (by modifying the inertia matrix internally) which significantly increases stability. Thus, even though damping can be alternatively modeled as an actuator property, it is better to model it as a joint property. Note also the XML joint attribute springdamper which automates the creation of massspringdampers with desired time constants and damping ratios; in that case the compiler computes the stiffness and damping coefficients of the joint by taking the joint inertia into account.
Proper simulation of fluid dynamics is beyond the scope of MuJoCo, and would be too slow for the applications we aim to facilitate. Nevertheless we provide a phenomenological model which is sufficient for simulating behaviors such as flying and swimming. It is enabled by setting mjModel.opt.viscosity and mjModel.opt.density to positive values (they are zero by default.) These parameters specify the viscosity \(\beta\) and density \(\rho\) of the medium and apply to all bodies. The shape of each body for fluid dynamics purposes is assumed to be the equivalent inertia box, which can also be visualized. Each forwardfacing (relative to the linear velocity) face of the box experiences force along its normal direction. All faces also experience torque due to the angular velocity; this torque is obtained by integrating the force resulting from the rotation over the surface area. In this subsection only, let \(v\) and \(\omega\) denote the linear and angular body velocity in its local frame (which is aligned with the equivalent inertia box), and \(s\) the 3D vector of box sizes. When the contributions from all faces are added, the resulting force and torque in local body coordinates have \(i\)th component
\begin{align*}
\text{density force} : \quad &  {1 \over 2} \rho s_j s_k v_i v_i \\
\text{density torque} : \quad &  {1 \over 64} \rho s_i \left(s_j^4 + s_k^4 \right) \omega_i \omega_i
\end{align*}
This model implicitly assumes high Reynolds numbers, with lifttodrag ratio equal to the tangent of the angle of attack. One can also specify a nonzero mjModel.opt.wind, which is a 3D vector subtracted from the body linear velocity in the fluid dynamics computation.
Each body also experiences a force and a torque proportional to viscosity and opposite to its linear and angular velocity. Note that viscosity can be used independent of density, to make the simulation more damped. We use the formulas for a sphere at low Reynolds numbers, with diameter \(d\) equal to the average of the equivalent inertia box sizes. The resulting 3D force and torque in local body coordinates are
\begin{align*}
\text{viscosity force} : \quad &  3 \beta \pi d v \\
\text{viscosity torque} : \quad &  \beta \pi d^3 \omega
\end{align*}
Existing phenomenological models of fluid dynamics tend to be valid for one regime (e.g. flat vs. spherical objects) and it is difficult to construct a model which can be simulated efficiently and is broadly valid.
For example, drag forces are known to transition from being linear in velocity at low Reynolds numbers, to being quadratic in velocity at high Reynolds numbers. However it is not clear how this transition should occur for lift forces. This motivated the above separation, using density to compute all quadratic forces and viscosity to compute all linear forces. Users who need a more detailed simulation of fluid dynamics should leave the density and viscosity parameters set to zero so as to disable the builtin mechanism. A custom model of fluid dynamics (or any other force field that depends only on position and velocity) can be implemented in the callback mjcb_passive.
Numerical integration
MuJoCo computes forward and inverse dynamics in continuous time. The end result of forward dynamics is the joint acceleration \(\dot{v}\) as well as the actuator activations \(\dot{w}\) when present in the model. These are used to advance the simulation time from \(t\) to \(t+h\), and to update the state variables \(q, v, w\). Two numerical integrators are currently available:
 Semiimplicit Euler method (Euler)

This method updates the activation and velocity with the usual Euler method, however the position is updated using the new velocity:
\begin{align*}
w(t+h) & = w(t) + h \dot{w}(t) \\
v(t+h) & = v(t) + h \dot{v}(t) \\
q(t+h) & = q(t) + h v(t+h)
\end{align*}
Using the new velocity in the position update improves stability, and is standard in physics engines. The summation in the position update generally involves vectors with different dimensionality, and is done by taking into account the properties of quaternions.
When joint damping is defined in the model, the Euler method automatically uses implicit damping integration as follows. Consider the firstorder Taylor expansion
\[
\tau(v(t+h)) = \tau(v(t)) + h {\partial\tau \over \partial v} \dot{v} + o\left(h^2\right)
\]
Moving the acceleration term to the left hand side of the equations of motion \((\ref{eq:motion})\), the effective inertia matrix becomes
\[
\hat{M} = M  h {\partial\tau \over \partial v}
\]
We use this matrix to correct the acceleration term in the Euler update. The correction however is temporary, and the original acceleration computed by forward dynamics and saved in mjData.qacc is not modified. In principle this approach could be applied to any velocitydependent force, however joint damping has the advantage that it does not affect the sparsity structure of the inertia matrix and is trivial to compute  which is why it is the only velocitydependent force that we currently integrate implicitly.
 4thorder RungeKutta method (RK4)

One advantage of our continuoustime formulation is that we can use more advanced integrators such as RungeKutta or multistep methods. The only such integrator currently implemented is the fixedstep 4thorder RungeKutta method. We have observed that for energyconserving systems it is qualitatively better than the Euler method, both in terms of stability and accuracy, despite the fact that it performs 4 miniupdates per step. In the presence of contacts we have not observed significant benefits, although a more systematic investigation remains to be performed.
The accuracy and stability of both integrators can be improved by reducing the time step \(h\) which is stored in mjModel.opt.timestep. Of course this also slows down the simulation. The time step is perhaps the most important parameter that the user can adjust. If it is too large, the simulation will become unstable. If it is too small, CPU time will be wasted without meaningful improvement in accuracy. There is always a comfortable range where the time step is "just right", but that range is modeldependent.
Constraint model
MuJoCo has a very flexible constraint model, which is nevertheless handled in a uniform way by the solver described later. Here we explain what the individual constraints are conceptually, and how they are laid out in the systemlevel vector and matrices with dimensionality \(n_C\). Each conceptual constraint can contribute one or more scalar constraints towards the total count \(n_C\), and each scalar constraint has a corresponding row in the constraint Jacobian \(J\). Active constraints are ordered by type in the order in which the types are described below, and then by model element within each type. The types are: equality, friction loss, limit, contact. Limits are handled as frictionless contacts by the solver and are not treated as a separate type internally. We use the prefix "efc" in mjData to denote systemlevel vectors and matrices with constraintrelated data.
Equality
MuJoCo can model equality constraints in the general form \(r(q) = 0\) where \(r\) can be any differentiable scalar or vector function of the position vector \(q\). It has the semantics of a residual. The solver can actually work with nonholonomic constraints as well, but we do not yet have such constraint types defined. Each equality constraint contributes \(\dim(r)\) elements to the total constraint count \(n_C\). The corresponding block in \(J\) is simply the Jacobian of the residual, namely \(\partial r / \partial q\). Note that due to the properties of quaternions, differentiation with respect to \(q\) produces vectors of size \(n_V\) rather than \(n_Q\).
Among other applications, equality constraints can be used to create "loop joints", i.e. joints that cannot be modeled via the kinematic tree. Gaming engines represent all joints in this way. The same can be done in MuJoCo but is not recommended  because it leads to both slower and less accurate simulation, effectively turning MuJoCo into a gaming engine. The only reason to represent joints with equality constraints would be to model soft joints  which can be done via the constraint solver but not via the kinematic tree.
There are five types of equality constraints described next. The numbers in the headings correspond to the dimensionality of the constraint residual in each case.
 connect : 3

This constraint connects two bodies at a point, effectively creating a ball joint outside the kinematic tree. The model specifies the two bodies to be connected, and a point (or "anchor") in the local frame of each body. The constraint residual is then defined as the difference between the global 3D positions of these points. Note that specifying two connect constraints for the same pair of bodies can be used to model a hinge joint outside the kinematic tree. Specifying three or more connect constraints (whose anchors are not colinear) is mathematically equivalent to a weld constraint but is less efficient computationally.
 weld : 6

This constraint welds two bodies together, suppressing all relative degrees of freedom between them. The relative body positions and orientations that are being enforced by the constraint solver are parameters in mjModel. The compiler computes them from the initial configuration in which the model is defined, namely mjModel.qpos0, but the user can change them later. The 6D residual has a 3D position component identical to the connect constraint, followed by a 3D orientation component. The latter is defined as \(\sin(\theta/2) (x, y, z)\) where \(\theta\) is the rotation angle in radians and \((x, y, z)\) is the unit vector corresponding to the rotation axis. For small angles this approaches the exponential map representation of the orientation difference (modulo a factor of 2). For large angles it avoids the wraparound discontinuity that would result if we used \(\theta\) instead of \(\sin(\theta/2)\). It does have a drawback though: when the angle approaches 180 deg the constraint becomes weak. Note also that if one body is a child of the other body, a faster and more accurate way to implement the weld constraint is to simply remove all joints defined in the child body.
 joint : 1

This constraint applies only to scalar joints: hinge and slide. It can be used to lock one joint into a constant position, or to couple two joints via a quartic polynomial. Locking a joint is better achieved by removing the joint, however it can be useful in special cases such as modeling backlash (via a soft equality constraint). Coupling of two joints is useful for modeling helical joints, or other forms of mechanical coupling. The quartic polynomial model is defined as follows. Suppose \(y\) is the position of the first joint and \(x\) is the position of the second joint, and the subscript 0 denotes the corresponding joint positions when the model is in the initial configuration mjModel.qpos0. Then the equality constraint is
\[
yy_0 = a_0 + a_1 \, (xx_0) + a_2 \, (xx_0)^2 + a_3 \, (xx_0)^3 + a_4 \, (xx_0)^4
\]
where \(a_0 ... a_4\) are coefficients defined in the model. If the constraint involves only one joint, it reduces to \(yy_0 = a_0\).
 tendon : 1

This constraint is very similar to the joint constraint above, but applies to the length of tendons instead of the position of joints. Tendons are length quantities that depend on the vector of positions. This dependence can be a linear combination of scalar joint positions, or a minimallength string wrapping around spatial obstacles. Unlike joints whose positions in model configuration mjModel.qpos0 can be read directly from the position vector, the computation of tendon lengths is less trivial. This is why the "resting lengths" of all tendons are computed by the compiler and stored in mjModel. In general, all field of mjModel whose names end with "0" are quantities computed by the compiler in the initial model configuration mjModel.qpos0.
 distance : 1

In its default form, this constraint forces two geoms to always touch each other  as if they are magnets but without poles. The point of contact is not specified, so the two geoms are free to slide and rotate relative to each other. The scalar residual is computed by using the collision detector in a special mode, where it returns the nearest distance between the geoms even when they do not collide. A target value is then subtracted from this nearest distance. By default the target value is 0, but we could for example create a distance constraint forcing the two geom surfaces to remain 1 cm apart at all times. The specific reason we introduced this constraint was to estimate the position and orientation of a body from motion capture markers attached to its surface, without knowing where exactly the markers are attached. In that case the physics simulation ends up solving the estimation problem for us. This could more generally be used when an object is supposed to slide over a surface and remain in contact with it; for example the scapula in biomechanical models of the arm can be modeled as such a surface.
Friction loss
Friction loss is also known as dry friction, or static friction, or loadindependent friction (in contrast with Coulomb friction which scales with normal force). Similar to damping or viscosity, it has the effect of opposing motion. However it acts preemptively before the onset of motion, and so it cannot be modeled as a velocitydependent force. Instead it is modeled as a constraint, namely an upper limit on the absolute value of the force that friction can generate. This limit is specified via the attribute frictionloss of the corresponding model element, and can be applied to joints and tendons.
Friction loss is different from all other constraint types in that there is no position residual that can be associated with it; so we formally set the corresponding components of \(r(q)\) to zero. Indeed we will see later that our constraint solver formulation needs to be extended in an unusual way to incorporate this constraint. Nevertheless the velocity of the affected joint or tendon acts as a velocity "residual"  because the effect of the constraint is to reduce this velocity and ideally keep it at zero. Thus the corresponding block in the constraint Jacobian is simply the Jacobian of the joint position (or tendon length) with respect to \(q\). For scalar joints this is a vector of 0's with a 1 at the joint address. For tendons this is known as the moment arm vector.
 joint : 1, 3 or 6

Friction loss can be defined not only for scalar joints (slide and hinge), but also for ball joints which have 3 degrees of freedom, and free joints which have 6 degrees of freedom. When defined, it is applied independently to all degrees of freedom of the affected joint. The frictionloss parameter has implicit units compatible with the joint (linear or angular). Free joints are an exception because they have both linear and angular components, and the MJCF model format allows a single frictionloss parameter per joint. In that case the same parameter is used for both the linear and angular components. It could be argued that friction loss in free joints should not be allowed. However we allow it because it can model useful nonphysical effects, such as keeping an object in place until something pushes it with sufficient force.
 tendon : 1

Tendons are scalar quantities, thus defining friction loss for a tendon always adds one scalar constraint. For spatial tendons this could be used to model friction between the tendon and the surfaces it wraps around. Such friction will be loadindependent though. To construct a more detailed model of this phenomenon, create several small floating spheres and connect them with tendons in series. Then the contacts between the spheres and the surrounding surfaces will have loaddependent (i.e. Coulomb) friction, but this is less efficient to simulate.
Limit
Limits as well as contacts have a welldefined spatial residual, but unlike equality constraints they are unilateral, i.e. they introduce inequality rather than equality constraints. Limits can be defined for joints and tendons. This is done by tagging the corresponding model element as "limited" and defining its "range" parameter. The residual \(r(q)\) is the distance between the current position/length and the closer of the two limiting values specified in range. The sign of this distance is automatically adjusted so that it is positive if the limit is not yet reached, zero at the limit, and negative if the limit is violated. The constraint becomes active when this distance falls below the "margin" parameter. However this is not the same as offsetting limit by margin and setting margin to 0. Instead the constraint force depends on distance through the solver parameters described later.
It is possible that both the lower and the upper limits for a given joint or tendon become active. In that case they are both included in the list of scalar constraints, however this situation should be avoided  by increasing the range or decreasing the margin. In particular, avoid using narrow ranges to approximate an equality constraint. Instead use an explicit equality constraint, and if some slack is desired make the constraint soft by adjusting the solver parameters. This is more efficient computationally, not only because it involves one scalar constraint instead of two, but also because solving for equality constraint forces is generally faster.
 joint : 1 or 2

Limits can be defined for scalar joints (hinge and slide) as well as for ball joints. Scalar joints are treated as described above. Ball joint limits are applied to the exponentialmap or angleaxis representation of the joint quaternion, i.e. the vector \((\theta x, \theta y, \theta z)\) where \(\theta\) is the rotation angle and \((x, y, z)\) is the unit vector corresponding to the rotation axis. The limit is applied to the absolute value of the rotation angle \(\theta\). At runtime the limit is determined by the larger of the two range parameters. For semantic clarity however, one should use the second range parameter to specify the limit and set the first range parameter to 0. This rule is enforced by the compiler.
 tendon : 1 or 2

Tendon are scalar quantities and their limits are treated as described above. Note that fixed tendons (which are linear combinations of scalar joint positions) can have both positive and negative "lengths", because joint positions are defined relative to the joint reference and can be both positive and negative. Spatial tendons however have true lengths which cannot be negative. Keep this in mind when setting ranges and margins for tendon limits.
Contacts are the most elaborate constraint type, both in terms of specifying them in the model and in terms of the computations that need to be performed. This is because contact modeling is challenging to begin with, and furthermore we support a general contact model allowing tangential, torsional and rolling friction, as well as elliptic and pyramidal friction cones.
MuJoCo works with point contacts, defined geometrically by a point between two geoms and a spatial frame centered at that point, both expressed in global coordinates. The first (X) axis of this frame is the contact normal direction, while the remaining (Y and Z) axes define the tangent plane. One might have expected the normal to correspond to the Z axis, as in MuJoCo's visualization convention, but we support frictionless contacts where only the normal axis is used, which is why we want to have the normal in first position. Similar to limits, the contact distance is positive when the two geoms are separated, zero when they touch, and negative when they penetrate. The contact point is in the middle between the two surfaces along the normal axis (for mesh collisions this may be approximate). Collision detection is a separate topic discussed in detail below. All we need for now is that the contact point, spatial frame and normal distance are given by the collision detector.
In addition to the above quantities which are computed online, each contact has several parameters obtained from the model definition.
parameter 
description 
condim 
Dimensionality of the contact force/torque in the contact frame. It can be 1, 3, 4 or 6.

friction 
Vector of friction coefficients, with dimensionality condim1.

margin 
The distance margin used to determine if the contact should be included in the global contact array mjData.contact.

gap 
For custom computations it is sometimes convenient to include contacts in mjData.contact but not generate contact forces. This is what "gap" does: contact forces are generated only when the normal distance is below margingap.

solref solimp 
Solver parameters explained later.

The contact friction cone can be either elliptic or pyramidal. This is a global setting determined by the choice of constraint solver: the elliptic solvers work with elliptic cones, while the pyramidal solvers work with pyramidal cones, as defined later. The condim parameter determines the contact type, and has the following meaning:
 condim = 1 : 1 for elliptic, 1 for pyramidal

This corresponds to a frictionless contact and adds only one scalar constraint. Recall that the first axis of the contact frame is the contact normal. Frictionless contacts can only generate force along the normal. This is very similar to a joint or tendon limit, but is applied to the distance between two geoms.
 condim = 3 : 3 for elliptic, 4 for pyramidal

This is a regular frictional contact, which can generate normal force as well as tangential friction force opposing slip.
 condim = 4 : 4 for elliptic, 6 for pyramidal

In addition to normal and tangential force, this contact can generate torsional friction torque opposing rotation around the contact normal. This is useful for modeling soft fingers, and can substantially improve the stability of simulated grasping. Keep in mind that the torsional (as well as rolling) friction coefficients have different units from the tangential friction coefficients.
 condim = 6 : 6 for elliptic, 10 for pyramidal

This contact can oppose motion in all relative degrees of freedom between the two geoms. In particular it adds rolling friction, which can be used for example to stop a ball from rolling indefinitely on a plane. It can also be used to model rolling friction between tires and a road, and in general to stabilize contacts.
Note that condim cannot be 2 or 5. This is because the two tangential directions and the two rolling directions are treated as pairs. The friction coefficients within a pair can be different though, which can be used to model skating for example.
Now we describe the friction cones and the corresponding Jacobians more formally. In this section only, let \(f\) denote the vector of constraint forces for a single contact (as opposed to the systemlevel vector of constraint forces), \(\mu\) the vector of friction coefficients, and \(n\) the contact dimensionality condim. For \(n >1 \) the elliptic and pyramidal friction cones are defined as
\begin{align*}
\text{elliptic cone}: \quad & \mathcal{K} = \left\{ f \in \mathcal{R}^n : f_1 \geq 0, \, f_1^2 \geq \sum_{i=2}^n {f_i^2 / \mu_{i1}^2} \right\} \\
\text{pyramidal cone}: \quad & \mathcal{K} = \left\{ f \in \mathcal{R}^{2(n1)} : f \geq 0 \right\}
\end{align*}
The vector inequality in the pyramidal cone definition is meant elementwise. For \(n=1\) both cones are defined as the nonnegative ray (which is a special case of a cone). Note that the systemlevel friction cone discussed in the solver section below will also be denoted \(\mathcal{K}\). It is the product of the friction cones for the individual contacts as defined here.
We also need to specify how the constraint force acts on the system. This is done by associating a 6D basis vector with each component of \(f\). The basis vectors are spatial vectors: 3D force followed by 3D torque. Arranging the basis vectors into the columns of a matrix \(E\), the force/torque generated by the constraint force in the contact frame is \(E f\). The matrix of basis vectors is constructed as follows.
The figure illustrates the full basis set corresponding to the case \(n = 6\). Otherwise we use only the first \(n\) or \(2(n1)\) columns depending on the cone type. Elliptic cones are easier to understand. Since the matrix \(E\) is the identity matrix, the first three components of \(f\) are forces acting along the axes of the contact frame, while the next three components are torques acting around the axes. For pyramidal cones, the basis vectors correspond to the edges of a pyramid. Each vector combines a normal force component and either a frictional force or a frictional torque component. The scaling by the friction coefficients ensures that all basis vectors lie within the elliptic friction cone we are approximating. The same holds for any convex combination of these vectors.
Finally we specify how the contact Jacobian is computed. First we construct the \(6\)by\(n_V\) matrix \(S\) which maps joint velocities \(v\) to spatial velocities \(S v\) expressed in the contact frame. This is done by considering the contact point as belonging to one or the other geom, computing its spatial Jacobian, and subtracting these two Jacobians to obtain \(S\). The convention we use is that the contact force acts from the first towards the second geom, so the spatial Jacobian for the first geom has negative sign. The contact Jacobian is then \(E^T S\). As with all other constraints, this matrix is inserted into the systemlevel Jacobian \(J\).
Constraint solver
This section explains how the constraint forces are computed. This is done in two stages. First, the constraint forces are defined as the unique global solution to a convex optimization problem. It is a quadratic program for pyramidal cones and a conic program for elliptic cones. Second, the optimization problem is solved with the algorithms described below. We also describe the parameters of the constraint model and how they affect the resulting dynamics.
The definition of the optimization problem itself has two steps. We start with a primal problem defined over accelerations \(\dot{v}\) where the constraint forces are implicit. We then transform the primal problem over accelerations into its Lagrange dual. The dual is a convex optimization problem over constraint forces, which also play the role of Lagrange multipliers for the primal problem. In forward dynamics, either the primal or the dual problem has to be solved numerically. In inverse dynamics, the problem becomes diagonal and can be solved analytically.
The primal formulation is based on a generalization of the Gauss principle of least constraint. In its basic form, the Gauss principle states that if we have unconstrained dynamics \(M \dot{v} = \tau\) and impose acceleration constraint \(J \dot{v} = a^*\), the resulting acceleration will be
\[
\dot{v} = \arg \min_x \left\xM^{1}\tau\right\ ^2_M \\
\textrm{subject to} \; J x = a^*
\]
where the weighted \(L_2\) norm is the usual \(\x\^2_M = x^T M x\). Thus the constraint causes the smallest possible deviation from the unconstrained acceleration \(M^{1}\tau\), where the metric for measuring deviations in joint coordinates is given by the inertia matrix. This principle is known to be equivalent to the LagrangeD'Alembert principle of constrained motion. Here we will use it to obtain a rich yet principled model of soft constraints. This will be done by generalizing both the cost function and the constraints in the Gauss principle.
We will use the following notation beyond the notation introduced earlier:
\(z\)  \(n_C\)  constraint deformations 
\(\omega\)  \(n_C\)  velocity of constraint deformations 
\(d\)  \(n_C\)  constraint impedance 
\(b\)  \(n_C\)  virtual constraint damping 
\(k\)  \(n_C\)  virtual constraint stiffness 
\(A(q)\)  \(n_C \times n_C\)  inverse inertia in constraint space 
\(R(q)\)  \(n_C \times n_C\)  diagonal regularizer in constraint space 
\(a^*(q,v)\)  \(n_C\)  reference acceleration in constraint space 
\(a^0(q,v,\tau)\)  \(n_C\)  unconstrained acceleration in constraint space 
\(a^1(q,v,\dot{v})\)  \(n_C\)  constrained acceleration in constraint space 
\(\mathcal{K}(q)\)   product of all contact friction cones 
\(\eta\)   upper bounds on friction loss forces 
\(\Omega(q)\)   convex set of admissible constraint forces 
\(\mathcal{E, F, C}\)   index sets for Equality, Friction loss, Contact constraints 
The index sets will be used to refer to parts of vectors and matrices. For example, \(J_\mathcal{C}\) is the submatrix of all rows of the Jacobian that correspond to contact constraints.
Primal problem
We first formulate the optimization problem whose solution yields the constrained acceleration \(\dot{v}\), and then explain what it means and why it makes sense. That problem is
\begin{equation}
(\dot{v}, \dot{\omega}) = \arg \min_{(x, y)} \left\xM^{1}(\tauc)\right\ ^2_M + \left\ya^*\right\ ^{\text{Huber}(\eta)}_{R^{1}} \label{eq:primal} \\
\textrm{subject to} \; J_\mathcal{E} x_\mathcal{E}  y_\mathcal{E} = 0, \; J_\mathcal{F} x_\mathcal{F}  y_\mathcal{F} = 0, \; J_\mathcal{C} x_\mathcal{C}  y_\mathcal{C} \in \mathcal{K}^*
\end{equation}
The new players here are the diagonal regularizer \(R > 0\) which makes the constraints soft, and the reference acceleration \(a^*\) which stabilizes the constraints. The latter is similar in spirit to Baumgarte stabilization, but instead of adding a constraint force directly, it modifies the optimization problem whose solution is the constraint force. Since this problem is itself constrained, the relation between \(a^*\) and \(f\) is generally nonlinear. The quantities \(R\) and \(a^*\) are computed from the solver parameters as described later. For now we assume they are given.
The optimization variable \(x\) stands for acceleration as in the Gauss principle, while \(y\) is a slack variable in constraint space. It is needed to model soft constraints. If we forced the solution to reach \(y = a^*\), which we could do by taking the limit \(R \to 0\), we would obtain a hard constraint model. This limit is not allowed in MuJoCo, but nevertheless one can construct models that are phenomenologically hard.
The symbol \(\mathcal{K}^*\) denotes the dual to the friction cone. It is motivated by mathematical reverse engineering: we want to recover the constraint \(f \in \mathcal{K}\) after taking the dual of our primal problem, and the dual of the dual of a cone is the cone itself. The pyramidal friction cone defined earlier is actually selfdual, but the elliptic one is not.
The Huber "norm" is based on the Huber function from robust statistics: it is a quadratic around zero, and transitions smoothly to a linear function when the absolute value of the argument crosses a threshold  in this case given by the friction loss parameters. Setting \(\eta = \infty\) recovers the quadratic norm; we use this convention for all constraint forces that are not due to friction loss. This is another instance of reverse engineering: we want to obtain interval constraints on the friction loss forces, which is nontrivial because Lagrange duality usually yields nonnegativity constraints. It turns out that the Huber function is precisely what one needs in order to obtain interval constraints in the dual. In the absence of friction loss constraints both norms become quadratic.
We now relate problem \((\ref{eq:primal})\) more closely to the Gauss principle, and give physical meaning to the slack variables. Consider an augmented dynamical system with position \((q,z)\) and velocity \((v, \omega)\). The new state variables correspond to deformation dynamics. Similarly to the original system where \(v\) is not the same as \(\dot{q}\), here \(\omega\) is not the same as \(\dot{z}\), although the reason is different. Deformation is related to nonzero position residual. Recall that we have welldefined position residuals for equality constraints, limits, all components of pyramidal friction cones, and the normal component of elliptic friction cones. For these deformation variables we have \(\dot{z} = \omega\). For friction loss and frictional components of elliptic cones however, we have \(z = 0\) while \(\omega \neq 0\). This is because even though there may be motion in the constraint space (which the constraint force aims to prevent), there is no position error. The augmented dynamics are
\[
\tilde{q} = {q \brack z}, \quad
\tilde{v} = {v \brack \omega}, \quad
\tilde{c} = {c \brack 0}, \quad
\tilde{\tau} = {\tau \brack {R^{1} a^*}}, \quad
\tilde{M} = \left[ \begin{array}{cc} M & 0 \\ 0 & R^{1} \end{array} \right], \quad
\tilde{J} = [J \;\; I]
\]
Applying the Gauss principle to this system yields the primal optimization problem above, except for the Huber norm. The general equations of motion \((\ref{eq:motion})\) now become
\[
\tilde{M} \dot{\tilde{v}} + \tilde{c} = \tilde{\tau} + \tilde{J}^T f
\]
Unpacking all the tildes yields the explicit form of the original and the deformation dynamics:
\begin{align*}
M \dot{v} + c = \tau +J^T f \\
\dot{\omega} = a^*  R f
\end{align*}
Thus \(R\) has the meaning of inverse deformation inertia, while \(a^*\) has the meaning of unforced deformation acceleration.
Does MuJoCo keep these deformation variables as part of the system state and integrate their dynamics together with the joint positions and velocities? No, although such an option may be worth providing in the future. Recall that we defined the functional dependence of the regularizer and the reference acceleration as \(R(q)\) and \(a^*(q,v)\). This makes problem \((\ref{eq:primal})\) dependent only on \((q,v,\tau)\), and so the original dynamics are not actually affected by the deformation dynamics. Since the general constraint model we developed up to now makes no assumptions about how \(R\) and \(a^*\) are computed, our choice is consistent and improves simulator efficiency. Nevertheless, given that these quantities turned out to be related to the deformation dynamics, it may be more natural to define them as \(R(z)\) and \(a^*(z,\omega)\) and simulate the entire augmented system. Below we clarify some of the benefits of such a simulation.
When do the deformation dynamics "track" the original dynamics exactly? One can verify that this happens when the constraint force \(f\) equals the quantity \(f^+\) defined in the parameter section below. Then the deformation states become static functions of the joint position and velocity, namely \(z = r(q)\) and \(\omega = J(q) v\). But in general this is not the case. Suppose you push your finger into a soft material, pull it back faster than the material can recover its shape, and push again. The contact force you experience on the second push depends not only on the rigidbody positions of your finger and the object, but also on the material deformation created during the first push. Simulating the above augmented dynamics would capture this phenomenon, while the model implemented in MuJoCo ignores it and instead assumes that all objects recover their shape before the next contact. There is a related phenomenon associated with slip in friction dimensions which is also ignored.
Reduced primal problem
The primal problem defined in \((\ref{eq:primal})\), as well as the dual problem we will obtain later, are both constrained optimization problems. The dual will turn out to have a simpler form, but still, constrained optimization is numerically less efficient than unconstrained optimization. It turns out that the primal problem can be reduced to unconstrained optimization over accelerations. If \(x\) in \((\ref{eq:primal})\) is given, minimizing over \(y\) can be done in closed form. This also eliminates the constraints, in the sense that the solution for \(y\) automatically satisfies the constraints. We are then left with an unconstrained optimization problem over \(x\) which can be solved with more efficient algorithms.
The reduction is based on the fact that minimization over \(y\) in \((\ref{eq:primal})\) comes down to finding the nearest point on the constraint set  which is either a plane or a cone, and can be done analytically. Substituting the result, we obtain the unconstrained problem
\begin{equation}
\dot{v} = \arg \min_{x} \left\xM^{1}(\tauc)\right\ ^2_M + s\left( Jx a^* \right)
\label{eq:reduced}
\end{equation}
The function \(s(\cdot)\) plays the role of a softconstraint penalty. It can be shown to be convex and oncecontinuouslydifferentiable. In the case of pyramidal friction cones it is a quadratic spline. This reduced formulation is the basis for the efficient new solvers introduced in MuJoCo 1.50, as well as new optimal control methods such as GoalDirected Dynamics which we are developing.
Another appealing feature of the reduced formulation is that the inverse dynamics can be easily computed. Since the above problem is unconstrained and convex, the unique global minimum makes the gradient vanish. This yields the identity
\[
M \dot{v} + c = \tau  J^T \nabla s\left( J \dot{v} a^* \right)
\]
which is the analytical inverse dynamics in the presence of soft constraints. Comparing to the equations of motion \((\ref{eq:motion})\), we see that the constraint forces \(f\) are given by the negative gradient of the function \(s(\cdot)\). Differentiating one more time with respect to \(\dot{v}\) yields
\[
\frac{\partial \tau}{\partial \dot{v}} = M + J^T H[s] J
\]
This is the analytical derivative of applied force with respect to acceleration. Thus we see that the function \(s(\cdot)\) and its derivatives are key to the MuJoCo physics model.
Dual problem
The procedure for constructing a Lagrange dual is somewhat tedious but wellestablished. We skip to the result. The Lagrange dual to the primal problem defined above is
\begin{equation}
f = \arg \min_\lambda \frac{1}{2} \lambda^{T} \left(A+R\right) \lambda + \lambda^T \left( a^0  a^*\right) \label{eq:dual} \\
\text{subject to} \; \lambda \in \Omega
\end{equation}
where the inverse inertia in constraint space is
\[
A = J M^{1} J^T
\]
and the unconstrained acceleration in constraint space is
\[
a^0 = J M^{1} (\tauc) + \dot{J} v
\]
The constraint set \(\Omega\) is as follows. \(\lambda_\mathcal{E}\) is unconstrained, because it is the Lagrange multiplier for an equality constraint in the primal problem. For friction loss we have the box constraint \(\left\lambda_\mathcal{F}\right \leq \eta\) applied elementwise. For contacts we have \(\lambda_\mathcal{C} \in \mathcal{K}\). For pyramidal cones this is simply \(\lambda_\mathcal{C} \geq 0\), while for elliptic cones it is a secondorder cone constraint. While \(A\) is only symmetric positive semidefinite, \(R\) is symmetric positive definite by construction, and so the above quadratic cost is strictly convex. Thus for pyramidal friction cones we have a convex boxconstrained quadratic program, and for elliptic friction cones we have a mixture of box constraints and secondorder cone constraints. The algorithms for solving this problem are described later.
As mentioned earlier, MuJoCo's constraint model has uniquelydefined inverse dynamics, and we already saw one way to derive it in the reduced formulation above. Here we derive it again from the dual formulation. Recall that in inverse dynamics we have access to \((q, v, \dot{v})\) instead of \((q, v, \tau)\), so the unconstrained acceleration \(a^0\) is unknown. However we can compute the constrained acceleration
\[
a^1 = J \dot{v} + \dot{J} v
\]
Inverse dynamics can now be computed by solving the optimization problem
\[
f = \arg \min_\lambda \frac{1}{2} \lambda^{T} R \lambda + \lambda^T \left( a^1  a^*\right) \\
\text{subject to} \; \lambda \in \Omega
\]
By comparing the KKT conditions for these two convex optimization problems, one can verify that their solutions coincide when
\begin{equation}
a^1 = a^0 + Af
\label{eq:identity}
\end{equation}
This key identity is essentially Newton's second law projected in constraint space. It is derived by moving the term \(c\) in the equations of motion \((\ref{eq:motion})\) to the right hand side, multiplying by \(J M^{1}\) from the left, adding \(\dot{J} v\) to both sides, and substituting the above definitions of \(A, a^0, a^1\). In terms of implementation, we do not actually compute the acceleration term \(\dot{J} v\). This is because our optimization problems depend on differences of constraintspace accelerations, and so this term would cancel out even if we were to compute it.
Note that the quadratic term in the inverse problem is weighted by \(R\) instead of \(A+R\). This tells us two things. First, in the limit \(R \to 0\) corresponding to hard constraints the inverse is no longer defined, as one would expect. Second and more useful, the inverse problem is diagonal, i.e. it decouples into independent optimization problems over the individual constraint forces. The only remaining coupling is due to the constraint set \(\Omega\), but that set is also decoupled over the conceptual constraints discussed earlier. It turns out that all these independent optimization problems can be solved analytically. The only nontrivial case is the elliptic friction cone model; we have shown how it can be handled in the abovereferenced paper. It requires a certain coupling of the diagonal values of \(R\), which is automatically enforced by MuJoCo so as to enable an exact analytical inverse for every model.
Once the forward dynamics are computed, the inverse dynamics are essentially free in terms of computation. This is because the forward dynamics need all the quantities that enter into the inverse problem, and so the only extra step is the analytical formula. This makes it possible to implement an automatic correctness check in MuJoCo. When the flag "fwdinv" in mjModel.opt.enableflags is on, the forward and inverse dynamics are automatically compared at the end of each time step, and the difference is recorded in mjData.solver_fwdinv. Discrepancies indicate that the forward solver  which is numerical and is usually terminated early  is not converging well. Of course the inverse dynamics are also useful on their own, without computing the forward dynamics first.
Algorithms
Here we describe the numerical algorithms (or "solvers") for solving the above convex optimization problems. The Newton and CG solvers work with the reduced primal formulation \((\ref{eq:reduced})\), while the PGS solver works with the dual formulation \((\ref{eq:dual})\). Note that numerical solvers are only needed in forward dynamics. Inverse dynamics are handled analytically.
Each solver algorithm can be used with both pyramidal and elliptic friction cones, and both dense and sparse representations of the constraint Jacobian and related matrices.
 CG : conjugate gradient method

This algorithm uses the nonlinear conjugate gradient method with the PolakRibierePlus formula. Linesearch is exact, using Newton's method in one dimension, with analytical second derivatives.
 Newton : Newton's method

This algorithm implements the exact Newton method, with analytical secondorder derivatives and Cholesky factorization of the Hessian. The linesearch is the same as in the CG method. This is the default solver as of MuJoCo 1.50.
 PGS : Projected GaussSeidel method

This is the most common algorithm used in physics simulators, and used to be the default in MuJoCo, until we developed the Newton method which appears to be better in every way. PGS uses the dual formulation. Unlike gradientbased method which improve the solution along oblique directions, GaussSeidel works on one scalar component at a time, and sets it to its optimal value given the current values of all other components. One sweep of PGS has the computational complexity of one matrixvector multiplication (although the constants are larger). It has firstorder convergence but nevertheless makes rapid progress in a few iterations.
When using pyramidal friction cones, the problem involves box constraints to which PGS has traditionally been applied.
If we applied PGS directly to the conic constraints resulting from elliptic friction cones, it would get stuck in a continuum of local minima; see left panel. This is because it can only make progress along the coordinate axes. The right panel illustrates our solution to this problem. We still update one contact at a time, but within a contact we update along nonorthogonal axes adapted to the constraint surface, as follows. First, we optimize the quadratic cost along the ray from the tip of the cone through the current solution. Then we slice the cone with a hyperplane passing through the current solution and orthogonal to the contact normal. This yields an ellipsoid  which can be up to 5dimensional given our contact model. Now we optimize the quadratic cost within this ellipsoid. This is an instance of quadratically constrained quadratic programming (QCQP). Since there is only one scalar constraint (however nonlinear it may be), the dual is a scalar optimization problem over the unknown Lagrange multiplier. We solve this problem with Newton's method applied until convergence  which in practice takes less than 10 iterations, and involves small matrices. Overall this algorithm has similar behavior to PGS for pyramidal cones, but it can handle elliptic cones without approximating them. It does more work per contact, however the contact dimensionality is smaller, and these two factors roughly balance each other.
Parameters
Here we explain how the quantities \(R, a^*\) are computed from model parameters. For the chosen parameterization to make sense, we first need to understand how these quantities affect the dynamics. We focus on the unconstrained minimizer of \((\ref{eq:dual})\), namely
\[
f^+ = (A+R)^{1} (a^*  a^0)
\]
If it happens that \(f^+ \in \Omega\), then \(f^+ = f\) is the actual constraint force generated by our model. We focus on this case because it is common, in the sense that the subset of the constraints in \(\Omega\) that are active at any given time is usually small, and furthermore it is the only case that we can actually analyze. Substituting \(f^+\) in the constraint dynamics \((\ref{eq:identity})\) and rearranging terms yields
\[
a^1 = A (A+R)^{1} a^* + R (A+R)^{1} a^0
\]
Thus the constrained acceleration interpolates between the unconstrained and the reference acceleration. In particular, in the limit \(R \to 0\) we have a hard constraint and \(a^1 = a^*\), while in the limit \(R \to \infty\) we have have an infinitely soft constraint (i.e. no constraint) and \(a^1 = a^0\). It is then natural to introduce a model parameter which directly controls the interpolation. We call this parameter impedance and denote it \(d\). It is a vector with dimensionality \(n_C\) satisfying \(0<d<1\) elementwise. Once it is specified, we compute the diagonal elements of the regularizer as
\[
R_{ii} = \frac{1d_i}{d_i} \hat{A}_{ii}
\]
Note that we are not using the diagonal of the actual \(A\) matrix, but an approximation to it. This is because we do not want to have to compute \(A\) in the sparse solver or in the inverse dynamics. The approximation (which is limited to the diagonal) is constructed using the "endeffector" inertias of all bodies, joints and tendons when the model is in the initial configuration mjModel.qpos0. These quantities are computed by the compiler. If our approximation happened to be exact, and \(A\) itself happened to be diagonal, then the acceleration of each scalar constraint would satisfy
\[
a^1_i = d_i a^*_i + (1d_i) a^0_i
\]
and so we would achieve the desired interpolation effect. This of course does not hold exactly in general, but the goal here is to construct a sensible and intuitive parameterization of the constraint model and get the scaling right.
Next we explain how the reference acceleration is computed. As already mentioned, we use a springdamper model parameterized by damping and stiffness coefficients elementwise:
\[
a^*_i = b_i (J v)_i  k_i r_i
\]
Recall that \(r\) is the position residual (which is zero for friction loss and friction dimensions of elliptic cones), while \(J v\) is the joint velocity projected in constraint space; the indexing notation refers to one component of the projected velocity vector.
To summarize, the user specifies the vectors of impedance coefficients \(0<d<1\), damping coefficients \(b > 0\) and stiffness coefficients \(k > 0\). The quantities \(R, a^*\) are then computed by MuJoCo as shown above, and the selected optimization algorithm is applied to solve problem \((\ref{eq:dual})\). There are two caveats here. First, as explained in the solver parameters section of the Modeling chapter, MuJoCo offers additional automation for setting \(d, b, k\) so as to achieve critical damping, or model a soft contact layer by varying \(d\) with distance. Second, as explained in the Programming chapter, the user can install callbacks mjcb_sol_ref and mjcb_sol_imp which bypass all this automation and set \(R, a^*\) directly.
Friction cones
As explained above, MuJoCo allows both elliptic friction cones and pyramidal approximations to them; the selected solver determines which type of friction cone is used. The pyramidal approximation has \(2 (n1)\) edges where \(n\) is the dimensionality of the contact space as specified by condim. We could add more edges yielding better approximations to the underlying elliptic cone, but this is pointless because the resulting solver would become slower than its elliptic counterpart.
One might have expected that if we were to increase the number of edges in the pyramidal approximation, the solution to our optimization problem \((\ref{eq:primal})\) would converge to the solution for the elliptic cone. This is true in the limit of hard contacts. For soft contacts however, this turns out not be true. This surprising fact is not merely a mathematical curiosity; it can have visible effects on the dynamics, which in earlier versions of MuJoCo made it difficult to achieve fine grasping behaviors with the pyramidal approximation. To understand this phenomenon, consider fixing the acceleration variables \(x\) in problem \((\ref{eq:primal})\) and optimize away the deformation variables \(y\). It can be shown that the resulting optimization problem over \(x\) is equivalent to a penalty method for constrained optimization, where the penalty is a halfquadratic starting at the constraint boundary. Think of it as a "shadow" being cast by the boundary. The shape of this shadow is different for elliptic cones and their pyramidal approximations, no matter how accurate the approximation is. The figure below illustrates this effect for 2D contacts where the pyramid is not even an approximation, but represents the same constraint set as the elliptic cone. We plot the contours of the penalty/shadow for the pyramidal (red) and elliptic (dashed blue) cones, for different friction coefficients varying from left to right. Mathematically, the penalty in the pyramidal case is a quadratic spline, while the penalty in the elliptic case contains pieces that are quadratics minus square roots of quadratics  allowing circular contours around the tip of the cone.
In summary, elliptic and pyramidal friction cones define different softcontact dynamics (although they are usually very close). The elliptic model is more principled and more consistent with physical intuition, and the corresponding solvers are quite efficient, but depending on the model may not be as efficient as the pyramidal solvers.
Collision detection
Collision detection operates on geoms, which are geometric entities rigidly attached to the underlying bodies. The output of collision detection is the list of active contacts, defined as having contact distance smaller than their margin parameter. They are stored in the global array mjData.contact which is then used to construct the constraint Jacobian and compute the constraint force. Below we explain how geom pairs are selected for collision checking, how collision checking is done, and how the parameters of the resulting contact are determined.
Selection
If a model has \(n\) geoms, there are \(n (n1)/2\) geoms pairs that can potentially collide. Checking all these pairs in detail (also known as nearphase collision detection) is prohibitively expensive for large systems. Fortunately some of these potential collisions are undesirable and therefore excluded by the user at the modeling stage, while others can be pruned quickly without a detailed check. MuJoCo has flexible mechanisms for deciding which geom pairs are checked in detail. The decision process involves two stages: generation and filtering.
 generation

First we generate a list of candidate geom pairs in one of two ways: "pair" or "dynamic". The user can also specify "all" which merges both sources (and is the default). This is done via the setting mjModel.opt.collision. "Pair" refers to an explicit list of geom pairs defined with the pair element in MJCF. It gives the user full control, however it is a static mechanism (independent of the spatial arrangement of the geoms at runtime) and can be tedious for large models. It is normally used to supplement the output of the "dynamic" mechanism.
Dynamic generation works with bodies rather than geoms; when a body pair is included this means that all geoms attached to one body can collide with all geoms attached to the other body. The body pairs are generated via broadphase collision detection based on a modified sweepandprune algorithm. The modification is that the axis for sorting is chosen as the principal eigenvector of the covariance matrix of all geom centers  which maximizes the spread. If broadphase collision detection is disabled by the user, all body pairs are included in this step. Finally, the user can explicitly exclude certain body pairs using the exclude element in MJCF. Exclusion is applied when "dynamic" or "all" are selected, but not when "pair" is selected.
At the end of this step we have a list of geoms pairs that is typically much smaller than \(n (n1)/2\), but can still be pruned further before detailed collision checking.
 filtering

Next we apply four filters to the list generated in the previous step. Filters 1 and 2 are applied to all geom pairs. Filters 3 and 4 are applied only to pairs generated by the "dynamic" mechanism, thereby allowing the user to bypass those filters by specifying geom pairs explicitly.

The types of the two geoms must correspond to a collision function that is capable of performing the detailed check. This is usually the case but there are exceptions (for example planeplane collisions are not supported), and furthermore the user may override the default table of collision functions with NULL pointers, effectively disabling collisions between certain geom types.

A bounding sphere test is applied, taking into account the contact margin. If one of the geoms in the pair is a plane, this becomes a planesphere test.

The two geoms cannot belong to the same body. Furthermore, they cannot belong to a parent and a child body, unless the parent is the world body. The motivation is to avoid permanent contacts within bodies and joints. Note that if several bodies are welded together in the sense that there are no joints between them, they are treated as a single body for the purposes of this test. The parentfilter test can be disabled by the user, while the samebody test cannot be disabled.

The two geoms must be "compatible" in the following sense. Each geom has integer parameters "contype" and "conaffinity". The boolean expression below must be true for the test to pass:
(contype1 & conaffinity2)  (contype2 & conaffinity1)
This requires the contype of one geom and the conaffinity of the other geom to have a common bit set to 1. This is a powerful mechanism borrowed from the Open Dynamics Engine. The default setting for all geoms is contype = conaffinity = 1 which always passes the test, so the user can ignore this mechanism if it is confusing at first.
Checking
Detailed collision checking is performed by functions that depend on the geom types in the pair. MuJoCo supports several primitive geometric shapes: plane, sphere, capsule, cylinder, ellipsoid, box. It also supports triangulated meshes and height fields.
We have chosen to limit collision detection to convex geoms. All primitive types are convex. Height fields are not convex but internally they are treated as unions of triangular prisms (using custom collision pruning beyond the filters described above). Meshes specified by the user can be nonconvex, and are rendered as such. For collision purposes however they are replaced with their convex hulls. Mesh collisions are based on the Minkowski Portal Refinement (MPR) algorithm as implemented in libccd. It has tolerance and maximum iteration parameters exposed as mjModel.opt.mpt_tolerance and mjModel.opt.mpr_iterations respectively. MPR operates on the convex hull implicitly, however precomputing that hull can substantially improve performance for large meshes. The model compiler does that by default, using the qhull library.
In order to model a nonconvex object other than a height field, the user must decompose it into a union of convex geoms (which can be primitive shapes or meshes) and attach them to the same body. Tools such as the HACD library can be used outside MuJoCo to automate this process. Finally, all builtin collision functions can be replaced with custom callbacks. This can be used to incorporate a generalpurpose "triangle soup" collision detector for example. However we do not recommend such an approach. Preprocessing the geometry and representing it as a union of convex geoms takes some work, but it pays off at runtime and yield both faster and more stable simulation.
Parameters
The parameters of each contact were described earlier in the contact section. Here we explain how these parameters are set. If the geom pair was explicitly defined with the MJCF element pair, that element has attributes used to set all contact parameters directly. In that case the parameters of the individual geoms are ignored. If on the other hand the contact was generated by the dynamic mechanism, it does not have an explicit specification and its parameters must be inferred from the two geoms in the pair, even if their parameters disagree. This is done as follows.
 condim

Maximum of the two geom condim parameters.
 friction

Recall that contacts can have up to 5 friction coefficients: two tangential, one torsional, two rolling. Each contact in mjData.contact actually has all 5 of them, even if condim is less than 6 and not all coefficients are used. In contrast, geoms have only 3 friction coefficients: tangential (same for both axes), torsional, rolling (same for both axes). Each of these 3D vectors of friction coefficients is expanded into a 5D vector of friction coefficients by replicating the tangetial and rolling components. The contact coefficients are then computed by taking the elementwise maximum.
The reason for having 5 coefficients per contact and only 3 per geom is as follows. For a contact pair, we want to allow the most flexible model our solver can handle. As mentioned earlier, the anisotropic friction can be exploited to model effects such as skating. This however requires knowing how the two axes of the contact tangent plane are oriented. For a predefined contact pair we know the two geom types in advance, and the corresponding collision function always generates contact frames oriented in the same way  which we do not describe here but it can be seen in the visualizer. For individual geoms however, we do not know which other geoms they might collide with and what their geom types might be, so there is no way to know how the contact tangent plane will be oriented when specifying an individual geom. This is why MuJoCo does now allow anisotropic friction in the individual geom specifications, but only in the explicit contact pair specifications.
 margin

Maximum of the two geom margin parameters.
 gap

Maximum of the two geom gap parameters.
 solref, solimp

Weighted average of the corresponding geom parameter vectors. The weighting is determined by the geomspecific parameter solmix.
Simulation pipeline
Here we summarize the sequence of computations involved in forward and inverse dynamics respectively. Most of them were already described. Keep in mind that the bit flags in mjModel.opt.disableflags and mjModel.opt.enableflags can be used to skip default steps and to enable optional steps respectively. Callbacks are not shown here.
Forward dynamics
The toplevel function mj_step invokes the sequence of computations below. Alternatively one can call mj_forward which invokes only steps 221.

Check the positions and velocities for invalid or unacceptably large real values indicating divergence. If divergence is detected, the state is automatically reset and the corresponding warning is raised.

Compute the forward kinematics. This yields the global positions and orientations of all bodies, geoms, sites, cameras and lights. It also normalizes all quaternions, just in case.

Compute the body inertias and joint axes, in global frames centered at the centers of mass of the corresponding kinematic subtrees (to improve floatingpoint accuracy).

Compute the tendon lengths and moment arms. This includes the computation of minimallength paths for spatial tendons.

Compute the actuator lengths and moment arms.

Compute the composite rigid body inertias and construct the jointspace inertia matrix.

Compute the sparse factorization of the jointspace inertia matrix.

Construct the list of active contacts. This includes both broadphase and nearphase collision detection.

Construct the constraint Jacobian and compute the constraint residuals.

Compute the matrices and vectors needed by the constraint solvers.

Compute sensor data that only depends on position, and the potential energy if enabled.

Compute the tendon and actuator velocities.

Compute the body velocities and rates of change of the joint axes, again in the global coordinate frames centered at the subtree centers of mass.

Compute all passive forces: springdampers in joints and tendons, and fluid dynamics forces.

Compute sensor data that depends on velocity, and the kinetic energy if enabled.

Compute the reference constraint acceleration.

Compute the vector of Coriolis, centrifugal and gravitational forces.

Compute the actuator forces and activation dynamics if defined.

Compute the joint acceleration resulting from all forces except for the (still unknown) constraint forces.

Compute the constraint forces with the selected solver, and update the joint acceleration so as to account for the constraint forces. This yields the vector mjData.qacc which is the main output of forward dynamics.

Compute sensor data that depends on force and acceleration if enabled.

Check the acceleration for invalid or unacceptably large real values. If divergence is detected, the state is automatically reset and the corresponding warning is raised.

Compare the results of forward and inverse dynamics, so as to diagnose poor solver convergence in the forward dynamics. This is an optional step, and is performed only when enabled.

Advance the simulation state by one time step, using the selected integrator. Note that the RungeKutta integrator repeats the above sequence three more times, except for the optional computations which are performed only once.
Inverse dynamics
The toplevel function mj_inverse invokes the following sequence of computations.

Compute the forward kinematics.

Compute the body inertias and joint axes.

Compute the tendon lengths and moment arms.

Compute the actuator lengths and moment arms.

Compute the composite rigid body inertias and form the jointspace inertia matrix.

Compute the sparse factorization of the jointspace inertia matrix.

Construct the list of active contacts.

Construct the constraint Jacobian and compute the constraint residuals.

Compute sensor data that only depends on position, and the potential energy if enabled.

Compute the tendon and actuator velocities.

Compute the body velocities and joint axes rates of change.

Compute sensor data that depends on velocity, and the kinetic energy if enabled.

Compute all passive forces.

Compute the reference constraint acceleration.

Compute the constraint force. This is done analytically, without using a numerical solver.

Compute the inverse dynamics for the unconstrained system.

Compute sensor data that depends on force and acceleration if enabled.

Compute the vector mjData.qfrc_inverse by combining all results. This is the main output of inverse dynamics. It equals the sum of external and actuation forces.
References
Here we provide a brief annotated list of references and relate them to the main text.
Recursive algorithms for computing robot kinematics and dynamics have a long history. The book by Feathertone is a standard reference. Our implementation of the RNE and CRB algorithms as well as sparse inertia factorization are based on it.
R. Featherstone. Rigid Body Dynamics Algorithms. Springer, 2008.
The MPR algorithm we use for convex mesh collisions was introduced by Snethen.
G. Snethen. Complex collision made simple, Game Programming Gems 7, 165178, 2008.
The linear complementarity (LCP) approach to contact modeling, which we discussed but did not actually use here, was introduced by Stewart and Trinkle. Note that this is a welldeveloped area with many more recent papers on it.
D. Stewart and J. Trinkle. An implicit timestepping scheme for rigidbody dynamics with inelastic collisions and coulomb friction. International Journal Numerical Methods Engineering, 39:26732691, 1996.
We now address the prior work related to our constraint model and its roots in the Gauss principle. Udwadia and Kalaba resurrected interest in the Gauss principle by pointing out the possibility of generalizing it.
F. Udwadia and R. Kalaba. A new perspective on constrained motion. Proceedings of the Royal Society, 1992.
The first such generalization relevant to contact modeling was done by Redon et al, who extended the Gauss principle to include inequality constraints on acceleration and used it to model frictionless contacts. This resulted in a convex quadratic program (QP).
S. Redon, A. Kheddar and S. Coquillart. Gauss's least constraint principle and rigid body simulations. IEEE International Conference on Robotics and Automation, 2002.
In an effort to approximate the LCP problem with a more tractable one, Anitescu proposed a QP over accelerations which is essentially the hard limit of the contact model we developed here. The difference from the earlier model by Redon et al is that instead of using a single inequality per contact (in the normal direction only), Anitescu used multiple inequalities forming a pyramid. This is all it takes to transition from frictionless to frictional contacts in convex complementarityfree models.
M. Anitescu. Optimizationbased simulation of nonsmooth rigid multibody dynamics. Math. Porgram. Ser. A, 105:113143, 2006.
Drumwright and Shell proposed a QP over contact forces, which is the dual to the QP developed earlier by Anitescu, and is again restricted to hard contacts.
E. Drumwright and D. Shell, Modeling contact friction and joint friction in dynamic robotic simulation using the principle of maximum dissipation. International Workshop on the Algorithmic Foundations of Robotics, 2010.
The first version of our present model was developed in the paper below. This was again a convex optimization problem, but it allowed soft contacts and other constraints and had a uniquelydefined inverse.
E. Todorov. A convex, smooth and invertible contact model for trajectory optimization. IEEE International Conference on Robotics and Automation, 2011.
None of these convex models of frictional contact were derived from the Gauss principle systematically, as we did in the present chapter. The augmented dynamics developed here is new. The continuoustime formulation is also new, and is a departure from modern contact solvers which rely on "velocitystepping" schemes in discrete time.
The way we obtained a soft constraint model is reminiscent of the constraint force mixing (CFM) parameter in the Open Dynamics Engine (ODE), even though ODE is based on the LCP formalism and solves a different problem.
R. Smith. Open Dynamics Engine user guide. 2006.
Lacoursiere introduced "ghost variables" which appear related to our deformation dynamics. However they are somewhat difficult to interpret (as their name suggests) and the exact relation to our model remains to be clarified.
C. Lacoursiere. Ghosts and machines: Regularized variational methods for interactive simulations of multibodies with dry frictional contacts. PhD Thesis, Umea University, 2007.
