... involutive.Proof (sketch of) . We make use of the condition given in the first remark at the end of Section 7.3.2. Assume that dim ∆C= m. Then, the set of reachable states from anypoint of the configuration ... models of nonholonomic mechanical systems. In particular, three different sources of nonholonomy are considered: rollingcontacts without slipping, conservation of angular momentum in multibody systems, and ... Luca, G.Oriolo NONHOLONOMIC MECHANICAL SYSTEMS a neighborhood of x = 0, due to the presence of one uncontrollable zero eigenvalue.However, by noticing that no point of the form00ε,ε=0,is...