When a mechanical system is subject to constraints its motion is in some way restricted. In accordance with Newton's second law, motion is a direct result of forces acting on a system; hence, constraint is inextricably linked to force. The presence of a constraint implies the application of particular forces needed to compel motion in accordance with the constraint; absence of a constraint implies the absence of such forces. The objective of this thesis is to formulate a comprehensive, consistent, and concise method for identifying a set of forces needed to constrain the behavior of a mechanical system modeled as a set of particles and rigid bodies. The goal is accomplished in large part by expressing constraint equations in vector form rather than entirely in terms of scalars. The method developed here can be applied whenever constraints can be described at the acceleration level by a set of independent equations that are linear in acceleration. Hence, the range of applicability extends to servo-constraints or program constraints described at the velocity level with relationships that are nonlinear in velocity. All configuration constraints, and an important class of classical motion constraints, can be expressed at the velocity level by using equations that are linear in velocity; therefore, the associated constraint equations are linear in acceleration when written at the acceleration level. Two new approaches are presented for deriving equations governing motion of a system subject to constraints expressed at the velocity level with equations that are nonlinear in velocity. By using partial accelerations instead of the partial velocities normally employed with Kane's method, it is possible to form dynamical equations that either do or do not contain evidence of the constraint forces, depending on the analyst's interests.

L’objectif principal de cette thèse est d’étudier le problème du contrôle de suivi distribué pour les systèmes de formation de multi-robots à contrainte non holonomique. Ce contrôle vise à entrainer une équipe de robots mobile de type monocycle pour former une configuration de formation désirée avec son centroïde se déplaçant avec une autre trajectoire de référence dynamique et pouvant être spécifié par le leader virtuel ou humain. Le problème du contrôle de suivi a été résolu au cours de cette thèse en développant divers contrôleurs distribués pratiques avec la considération d’un taux de convergence plus rapide, une précision de contrôle plus élevée, une robustesse plus forte, une estimation du temps de convergence explicite et indépendante et moins de coût de communication et de consommation d’énergie. Dans la première partie de la thèse nous étudions d’abord au niveau du chapitre 2 la stabilité à temps fini pour les systèmes de formation de multi-robots. Une nouvelle classe de contrôleur à temps fini est proposée dans le chapitre 3, également appelé contrôleur à temps fixe. Nous étudions les systèmes dynamiques de suivi de formation de multi-robots non holonomiques dans le chapitre 4. Dans la deuxième partie, nous étudions d'abord le mécanisme de communication et de contrôle déclenché par l'événement sur les systèmes de suivi de la formation de multi-robots non-holonomes au chapitre 5. De plus, afin de développer un schéma d'implémentation numérique, nous proposons une autre classe de contrôleurs périodiques déclenchés par un événement basé sur un observateur à temps fixe dans le chapitre 6. / The main aim of this thesis is to study the distributed tracking control problem for the multi-robot formation systems with nonholonomic constraint, of which the control objective it to drive a team of unicycle-type mobile robots to form one desired formation configuration with its centroid moving along with another dynamic reference trajectory, which can be specified by the virtual leader or human. We consider several problems in this point, ranging from finite-time stability andfixed-time stability, event-triggered communication and control mechanism, kinematics and dynamics, continuous-time systems and hybrid systems. The tracking control problem has been solved in this thesis via developing diverse practical distributed controller with the consideration of faster convergence rate, higher control accuracy, stronger robustness, explicit and independent convergence time estimate, less communication cost and energy consumption.In the first part of the thesis, we first study the finite-time stability for the multi-robot formation systems in Chapter 2. To improve the pior results, a novel class of finite-time controller is further proposed in Chapter 3, which is also called fixed-time controller. The dynamics of nonholonomic multi-robot formation systems is considered in Chapter 4. In the second part, we first investigate the event-triggered communication and control mechanism on the nonholonomic multi-robot formation tracking systems in Chapter 5. Moreover, in order to develop a digital implement scheme, we propose another class of periodic event-triggered controller based on fixed-time observer in Chapter 6.