An overconstrained mechanism is a linkage that has more degrees of freedom than is predicted by the mobility formula. The mobility formula evaluates the degree of freedom of a system of rigid bodies that results when constraints are imposed in the form of joints connecting the links.
If the links of the system move in three-dimensional space, then the mobility formula is
where N is the number of links in the system, j is the number of joints, and fi is the degree of freedom of the ith joint.
If the links in the system move planes parallel to a fixed plane, or in concentric spheres about a fixed point, then the mobility formula is
If a system of links and joints has mobility M=0 or less, yet still moves, then it is called an overconstrained mechanism.
A well-known example of an overconstrained mechanism is the Sarrus mechanism, which consists of six bars connected by six hinged joints.
A general spatial linkage formed from six links and six hinged joints has mobility
and is therefore a structure.
The Sarrus mechanism has mobility M=1, rather than M=0, which means it has a particular set of dimensions that allow movement.
Another example of an overconstrained mechanism is Bennett's linkage, which consists of four links connected by four revolute joints.
A general spatial linkage formed from four links and four hinged joints has mobility
which is a highly constrained system.
The dimensional constraints that makes Bennett's linkage movable are the following. Let us number the links in order that links with consecutive index are joined (first and fourth links are also joined). For the i-th link, let us denote by di and ai respectively the distance and the oriented angle of the axes of the revolute joints of the link. Bennett's linkage must satisfies the following constraints:
Moreover, the links are assembled in such a way that, for two links that are joined together, the common perpendicular to the joint axes of the first link intersects the common perpendicular of the joint axes of the second link.
Below is an external link to an animation of a Bennett's linkage.
Overconstrained mechanisms can be also obtained by assembling together cognate linkages; when their number is more than two, overconstrained mechanisms with negative calculated mobility will result.   The companion animated GIFs show two types of overconstrained mechanisms obtained by assembling together function cognates of the Watt II type. 
- K. J. Waldron, Overconstrained Linkage Geometry by Solution of Closure Equations---Part 1. Method of Study, Mechanism and Machine Theory, Vol. 8, pp. 94-104, 1973.
- Bennett, G. T. A new mechanism. Engineering, 1903, vol. 76, no 777
- J. M. McCarthy and G. S. Soh, Geometric Design of Linkages, 2nd Edition, Springer 2010
- Dai, J.S., Huang, Z., Lipkin, H., Mobility of Overconstrained Parallel Mechanisms, Special Supplement on Spatial Mechanisms and Robot Manipulators, Transactions of the ASME: Journal of Mechanical Design, 128(1): 220-229, 2006.
- P.A. Simionescu & M.R. Smith (2000) "Applications of Watt II function generator cognates", Mechanism and Machine Theory, 35(11), p. 1535–1549.
- P.A. Simionescu & M.R. Smith (2001) "Four- and six-bar function cognates and overconstrained mechanisms", Mechanism and Machine Theory, 36(8), p. 913–924.
- Wei, G., Chen, Y. and Dai, J. S., Synthesis, Mobility and Multifurcation of Deployable Polyhedral Mechanisms with Radially Reciprocating Motion, ASME Journal of Mechanical Design, 136(9), p.091003, 2014.