“…Most formal methods based on explicit description of interaction forces can be effectively used for simulation and open-loop control, [25]. Alternatively, a combination between kinematic and dynamic models can be investigated, [4,10,24]. Another approach is based on kinematic approximation of nonitegrable velocity constraints, [3,9,18].…”