Nonholonomic Constraints: Theory and Control

• Nonholonomic constraints are velocity-based restrictions that cannot be integrated into configuration-only conditions, leading to non-integrable hyperplane fields in the tangent bundle.
• The dynamics are formulated via the Lagrange–d'Alembert principle, ensuring that only admissible virtual displacements consistent with the constraints are considered.
• Applications include modeling wheel rolling without slipping, multi-agent trajectory tracking, and virtual constraint control for underactuated systems.

A nonholonomic constraint is a relation—typically involving both configurations and velocities—imposed on a mechanical system that restricts its admissible velocities but is not generally integrable to a configuration-only condition. Unlike holonomic constraints, which reduce configuration space dimension via integrable relations, nonholonomic constraints produce non-integrable distributions in the tangent bundle, leading to fundamentally different geometric, analytic, and control-theoretic properties. Such constraints can arise from physical mechanisms (e.g., wheel rolling without slipping) or be enforced “virtually” via closed-loop control laws.

1. Geometric Foundations of Nonholonomic Constraints

A nonholonomic constraint on an $n$-dimensional configuration manifold $Q$ is typically expressed as either:

• A set of $m < n$ independent relations $C(q,\dot q)=0$ homogeneous or nonhomogeneous in velocities, or
• Equivalently, as a velocity constraint—an $m$-codimensional distribution $D\subset TQ$ locally defined by one-forms $\mu^a(q)$:

$$D_q = \left\{ v_q \in T_qQ \;\middle|\; \mu^a(q)(v_q) = 0,\quad a=1,...,m \right\}.$$

A constraint is strictly nonholonomic when $D$ is non-integrable, i.e., $[X,Y] \not\in \Gamma(D)$ for some $Q$0. This non-integrability is central, originating from the Frobenius theorem and manifesting in the vanishing of the curvature terms $Q$1. The resultant admissible velocity set at any instant forms a non-integrable hyperplane field in $Q$2 (Simoes et al., 2022, Talamucci, 2019, Simoes et al., 2024, Stratoglou et al., 2023).

Constraints may be more general, as in the nonlinear case, taking the form $Q$3 where $Q$4 may be nonlinear in velocities (Talamucci, 2019, Stratoglou et al., 2023).

2. Dynamical Consequences and Formulations

The dynamics of nonholonomic systems are governed by the Lagrange–d'Alembert principle: the admissible variations $Q$5 must themselves satisfy the constraint, resulting in the constrained Euler–Lagrange equations:

$Q$6

where $Q$7 are Lagrange multipliers enforcing the constraints (Gay-Balmaz et al., 2017, Colombo, 2017).

Alternative variational approaches, such as the naive use of Lagrange multipliers in the action functional, are generally incompatible with nonholonomic constraints in dimensions $Q$8, unless the constraints are integrable. This incompatibility arises because d'Alembert’s principle restricts only admissible virtual displacements, not arbitrary variations (Cronstrom, 2010). Extensions such as vakonomic mechanics or Dirac–Hamilton–Jacobi theory are required for consistent variational treatments (Leok et al., 2011).

For constraints nonlinear in velocities, Voronec’s equations provide an intrinsic reduction framework, expressing dynamics directly on the submanifold determined by solving the constraints for the dependent velocities, and generalize beyond the linear case (Talamucci, 2019).

3. Virtual and Affine Nonholonomic Constraints

A virtual nonholonomic constraint is a velocity-dependent relation not physically imposed on the system but rendered invariant via state-dependent closed-loop control laws. Formally, let a mechanical control system on $Q$9 be equipped with control forces $m < n$0 via vector fields $m < n$1. A virtual constraint is specified as a controlled-invariant submanifold $m < n$2. A feedback law $m < n$3 is constructed so that every solution starting in $m < n$4 remains in $m < n$5 for all time—making $m < n$6 controlled-invariant (Stratoglou et al., 2023, Simoes et al., 2024, Simoes et al., 2022, Stratoglou et al., 2023).

Transversality between the constraint distribution and the input distribution (i.e., $m < n$7) is essential for the well-posedness and uniqueness of the enforcing control law. The general constraint enforcement law arises from solving the linear system:

$m < n$8

with $m < n$9 and $C(q,\dot q)=0$0, ensuring the closed-loop vector field is tangent to $C(q,\dot q)=0$1 (Stratoglou et al., 2023, Simoes et al., 2022).

For affine (nonlinear) constraints, the framework extends to controlled-invariant affine distributions associated with affine-connection control systems, requiring similar transversality and construction of a unique smooth feedback (Stratoglou et al., 2023, Stratoglou et al., 6 Feb 2025).

4. Stabilization and Exponential Convergence

Recent developments provide not only invariance but exponential stabilization to the virtual constraint submanifold using a gain-based feedback:

$C(q,\dot q)=0$2

with $C(q,\dot q)=0$3, and $C(q,\dot q)=0$4 a positive diagonal gain matrix. This yields closed-loop error dynamics $C(q,\dot q)=0$5, guaranteeing exponential convergence of the constraint violation to zero (Simoes et al., 2024, Stratoglou et al., 6 Feb 2025).

This methodology provides Lyapunov-based guarantees and is demonstrated in scenarios such as multi-agent flocking (velocity alignment via virtual constraints) and drift compensation in unmanned surface vehicles, showing rapid convergence to the desired constraint manifold under the derived control law (Stratoglou et al., 6 Feb 2025).

5. Examples, Physical Realizability, and Applications

Various canonical models are treated within this geometric and control-theoretic framework:

• The Chaplygin sleigh and vertical rolling disk are analyzed as nonholonomic systems on (possibly homogeneous) configuration spaces (Stratoglou et al., 2024, Simoes et al., 2022, Stratoglou et al., 2023, Simoes et al., 2024).
• Parallel velocity alignment in multi-agent systems and trajectory tracking for underactuated vehicles are implemented via nonlinear virtual constraints and demonstrated by simulation (Stratoglou et al., 6 Feb 2025, Stratoglou et al., 2023).
• Recent work addresses physical realizability, illustrating that in systems coupled to a thermal environment, naive enforcement of nonholonomic constraints may violate fundamental thermodynamic laws unless stochastic fluctuations at the contact interface are properly modeled (fluctuation–dissipation consistency), setting practical limits for “ideal” constraint enforcement in real systems (Jagla et al., 15 Mar 2026).

Finally, structure-preserving learning frameworks for nonholonomic dynamics have emerged, employing Gaussian process regression with kernel construction encoding the constraint distribution, thereby ensuring data-driven models that are physically consistent by construction (Beckers et al., 29 Mar 2026).

6. Interplay with Control, Optimality, and Hamiltonian Structures

Optimal control approaches for systems subject to nonholonomic constraints require formulating the problem as constrained second-order variational or Hamiltonian systems—typically using geometric frameworks such as Lie algebroids or distributional two-forms. This allows for Hamilton–Jacobi reductions and geometric numerical integration (Colombo, 2017, Wang, 2022, Leok et al., 2011).

For nonholonomic controlled Hamiltonian systems, one replaces the symplectic structure by a fiberwise non-degenerate distributional two-form on the constraint submanifold. The resulting dynamics are governed by projections of the unconstrained vector field and preserve certain geometric structures, but lack a global symplectic foliation due to the non-integrability of the distribution (Wang, 2022, León et al., 2019).

7. Methodological and Foundational Issues

A well-documented controversy concerns the distribution of virtual displacements (d'Alembertian) versus generalized variations (vakonomic) in enforcing constraints. In general, only d'Alembert’s principle reproduces the correct nonholonomic equations for genuinely non-integrable constraints in dimension $C(q,\dot q)=0$6. Vakonomic approaches, unless suitably modified (e.g., using Dirac structures or restriction on allowed variations), yield incorrect equations except in the holonomic or $C(q,\dot q)=0$7 cases, where all constraints are effectively holonomic (Cronstrom, 2010, Bharath, 2010, Leok et al., 2011).

Nonlinear and higher-order constraints necessitate generalized approaches, such as those based on Voronec's method, projection techniques, or coordinate-free geometric conditions, emphasizing the importance of explicit construction and proper matching between constraint enforcement, dynamics, and geometric structure (Talamucci, 2019, Belrhazi et al., 2024).

---

References:

• (Stratoglou et al., 2023) On the Geometry of Virtual Nonlinear Nonholonomic Constraints
• (Simoes et al., 2024) Geometric stabilization of virtual linear nonholonomic constraints
• (Stratoglou et al., 6 Feb 2025) Geometric Stabilization of Virtual Nonlinear Nonholonomic Constraints
• (Simoes et al., 2022) Virtual Nonholonomic Constraints: A Geometric Approach
• (Stratoglou et al., 2023) Virtual Affine Nonholonomic Constraints
• (Stratoglou et al., 2024) Nonholonomic mechanics and virtual constraints on Riemannian homogeneous spaces
• (Belrhazi et al., 2024) Geodesic extensions of mechanical systems with nonholonomic constraints
• (Talamucci, 2019) Nonlinear nonholonomic constraints
• (Colombo, 2017) A variational-geometric approach for the optimal control of nonholonomic systems
• (Wang, 2022) Nonholonomic Controlled Hamiltonian System: Symmetric Reduction and Hamilton-Jacobi Equations
• (Leok et al., 2011) Hamilton-Jacobi Theory for Degenerate Lagrangian Systems with Holonomic and Nonholonomic Constraints
• (Cronstrom, 2010) On the compatibility of non-holonomic systems and certain related variational systems
• (Bharath, 2010) Non-holonomic Constraint Force Postulates
• (Jagla et al., 15 Mar 2026) Nonholonomic constraints at finite temperature
• (Beckers et al., 29 Mar 2026) Structure-Preserving Learning of Nonholonomic Dynamics
• (Putkaradze et al., 2016) Constraint Control of Nonholonomic Mechanical Systems
• (Gay-Balmaz et al., 2017) Geometric analysis of noisy perturbations to nonholonomic constraints