Какой нибудь современный обзор посоветуете?
Nonholonomic Mechanics and Control (Interdisciplinary Applied Mathematics) (Anthony Bloch, et al)
еще есть основательный текст Борисов Мамаев Неголономные динамические системы : интегрируемость хаос странные атракторы
Когда я гугланул, там выскочили вариационные методы. Т.е. для неголономных систем они тоже работают?
Смотря какие задачи решаются. Главное в том, что там принцип Гамильтона не работает. Экстремаль функционала

в классе кривых с закрепленными концами удовлетворяющих неголономным связям

не является, вообще говоря, решением уравнений движения механической системы с лагранжианом

и идеальными связями

. Т е уравнения неголономной механики и уравнения экстремалей указханной вариационной задачи это разные уравнения
Ф.Гриффитс. Внешние дифференциальные системы и вариационное исчисление. 1986
https://c.radikal.ru/c01/1804/d3/95b48eba2466.pngВ. Козлов Симметрии топология и резонансы в гамильтоновой механике
А обобщённая гамильтонова динамика, когда связи выражаются т. н. слабыми уравнениями
про это не слышал
Условие непроскальзывания это равенство линейных скоростей в точке контакта. Т.е. не запрещает "кружение на фиксированном месте" (пример: шар на плоскости, скользит и даже не катится, а касается своей фиксированной точкой плоскости, и кружится).
все так