Learning Nonholonomic Dynamics with Constraint Discovery
This work addresses the inverse problem of constraint discovery in nonholonomic systems, which is incremental as it builds on existing Hamel's formalism and symmetry preservation methods.
The paper tackles the problem of learning nonholonomic dynamical systems while discovering constraints, using the rolling disk as a case study, and proves the existence of a local minimum for network convergence.
We consider learning nonholonomic dynamical systems while discovering the constraints, and describe in detail the case of the rolling disk. A nonholonomic system is a system subject to nonholonomic constraints. Unlike holonomic constraints, nonholonomic constraints do not define a sub-manifold on the configuration space. Therefore, the inverse problem of finding the constraints has to involve the tangent bundle. This paper discusses a general procedure to learn the dynamics of a nonholonomic system through Hamel's formalism, while discovering the system constraint by parameterizing it, given the data set of discrete trajectories on the tangent bundle $TQ$. We prove that there is a local minimum for convergence of the network. We also preserve symmetry of the system by reducing the Lagrangian to the Lie algebra of the selected group.