In this thesis we study the problem of stabilizing smooth embedded submanifolds in the state space of smooth, nonlinear, autonomous, deterministic control-affine systems. Our motivation stems from a realization that important applications, such as path following and synchronization, are best understood in the set stabilization framework. Instead of directly attacking the above set stabilization problem, we seek feedback equivalence of the given control system to a normal form that facilitates control design. The process of putting a control system into the normal form of this thesis is called transverse feedback linearization. When feasible, transverse feedback linearization allows for a decomposition of the nonlinear system into a “transverse” and a “tangential” subsystem relative to the goal submanifold. The dynamics of the transverse subsystem determine whether or not the system’s state approaches the submanifold. To ease controller design, we ask that the transverse subsystem be linear time-invariant and controllable. The dynamics of the tangential subsystem determine the motion on the submanifold. The main problem considered in this work, the local transverse feedback linearization problem (LTFLP), asks: when is such a decomposition possible near a point of the goal submanifold? This problem can equivalently be viewed as that of finding a system output with a well-defined relative degree, whose zero dynamics manifold coincides with the goal submanifold. As such, LTFLP can be thought of as the inverse problem to input-output feedback linearization. We present checkable, necessary and sufficient conditions for the existence of a local coordinate and feedback transformation that puts the given system into the desired normal form. A key ingredient used in the analysis is the new notion of transverse controllability indices of a control system with respect to a set. When the goal submanifold is diffeomorphic to Euclidean space, we present sufficient conditions for feedback equivalence in a tubular neighbourhood of it. These results are used to develop a technique for solving the path following problem. When applied to this problem, transverse feedback linearization decomposes controller design into two separate stages: transversal control design and tangential control design. The transversal control inputs are used to stabilize the path, and effectively generate virtual constraints forcing the system’s output to move along the path. The tangential inputs are used to control the motion along the path. A useful feature of this twostage approach is that the motion on the set can be controlled independently of the set stabilizing control law. The effectiveness of the proposed approach is demonstrated experimentally on a magnetically levitated positioning system. Furthermore, the first satisfactory solution to a problem of longstanding interest, path following for the planar/vertical take-off and landing aircraft model to the unit circle, is presented. This solution, developed in collaboration with Luca Consolini and Mario Tosques at the University of Parma, is made possible by taking a set stabilization point of view.

This thesis investigates the set stabilization problem for systems with Lie group symmetry. Initially, we examine left-invariant systems on Lie groups where the target set is a left or right coset of a closed subgroup. We broaden the scope to systems defined on smooth manifolds that are invariant under a Lie group action. Inspired by the solution of this problem for linear time-invariant systems, we show its equivalence to an equilibrium stabilization problem for a suitable quotient control system. We provide necessary and sufficient conditions for the existence of the quotient control system and analyze various properties of such a system. This theory is applied to the formation stabilization of three kinematic unicycles, the path stabilization of a particle in a gravitational field, and the conversion and temperature control of a continuously stirred tank reactor.

This thesis investigates the set stabilization problem for systems with Lie group symmetry. Initially, we examine left-invariant systems on Lie groups where the target set is a left or right coset of a closed subgroup. We broaden the scope to systems defined on smooth manifolds that are invariant under a Lie group action. Inspired by the solution of this problem for linear time-invariant systems, we show its equivalence to an equilibrium stabilization problem for a suitable quotient control system. We provide necessary and sufficient conditions for the existence of the quotient control system and analyze various properties of such a system. This theory is applied to the formation stabilization of three kinematic unicycles, the path stabilization of a particle in a gravitational field, and the conversion and temperature control of a continuously stirred tank reactor.

In this thesis we study the problem of stabilizing smooth embedded submanifolds in the state space of smooth, nonlinear, autonomous, deterministic control-affine systems. Our motivation stems from a realization that important applications, such as path following and synchronization, are best understood in the set stabilization framework. Instead of directly attacking the above set stabilization problem, we seek feedback equivalence of the given control system to a normal form that facilitates control design. The process of putting a control system into the normal form of this thesis is called transverse feedback linearization. When feasible, transverse feedback linearization allows for a decomposition of the nonlinear system into a “transverse” and a “tangential” subsystem relative to the goal submanifold. The dynamics of the transverse subsystem determine whether or not the system’s state approaches the submanifold. To ease controller design, we ask that the transverse subsystem be linear time-invariant and controllable. The dynamics of the tangential subsystem determine the motion on the submanifold. The main problem considered in this work, the local transverse feedback linearization problem (LTFLP), asks: when is such a decomposition possible near a point of the goal submanifold? This problem can equivalently be viewed as that of finding a system output with a well-defined relative degree, whose zero dynamics manifold coincides with the goal submanifold. As such, LTFLP can be thought of as the inverse problem to input-output feedback linearization. We present checkable, necessary and sufficient conditions for the existence of a local coordinate and feedback transformation that puts the given system into the desired normal form. A key ingredient used in the analysis is the new notion of transverse controllability indices of a control system with respect to a set. When the goal submanifold is diffeomorphic to Euclidean space, we present sufficient conditions for feedback equivalence in a tubular neighbourhood of it. These results are used to develop a technique for solving the path following problem. When applied to this problem, transverse feedback linearization decomposes controller design into two separate stages: transversal control design and tangential control design. The transversal control inputs are used to stabilize the path, and effectively generate virtual constraints forcing the system’s output to move along the path. The tangential inputs are used to control the motion along the path. A useful feature of this twostage approach is that the motion on the set can be controlled independently of the set stabilizing control law. The effectiveness of the proposed approach is demonstrated experimentally on a magnetically levitated positioning system. Furthermore, the first satisfactory solution to a problem of longstanding interest, path following for the planar/vertical take-off and landing aircraft model to the unit circle, is presented. This solution, developed in collaboration with Luca Consolini and Mario Tosques at the University of Parma, is made possible by taking a set stabilization point of view.

In this thesis we study the stabilization of closed sets for passive nonlinear control systems, developing necessary and sufficient conditions under which a passivity-based feedback stabilizes a given goal set. The development of this result takes us to a journey through the so-called reduction problem: given two nested invariant sets G1 subset of G2, and assuming that G1 enjoys certain stability properties relative to G2, under what conditions does G1 enjoy the same stability properties with respect to the whole state space? We develop reduction principles for stability, asymptotic stability, and attractivity which are applicable to arbitrary closed sets. When applied to the passivity-based set stabilization problem, the reduction theory suggests a new definition of detectability which is geometrically appealing and captures precisely the property that the control system must possess in order for the stabilization problem to be solvable. The reduction theory and set stabilization results developed in this thesis are used to solve a distributed coordination problem for a group of unicycles, whereby the vehicles are required to converge to a circular formation of desired radius, with a specific ordering and spacing on the circle.

In this thesis we study the stabilization of closed sets for passive nonlinear control systems, developing necessary and sufficient conditions under which a passivity-based feedback stabilizes a given goal set. The development of this result takes us to a journey through the so-called reduction problem: given two nested invariant sets G1 subset of G2, and assuming that G1 enjoys certain stability properties relative to G2, under what conditions does G1 enjoy the same stability properties with respect to the whole state space? We develop reduction principles for stability, asymptotic stability, and attractivity which are applicable to arbitrary closed sets. When applied to the passivity-based set stabilization problem, the reduction theory suggests a new definition of detectability which is geometrically appealing and captures precisely the property that the control system must possess in order for the stabilization problem to be solvable. The reduction theory and set stabilization results developed in this thesis are used to solve a distributed coordination problem for a group of unicycles, whereby the vehicles are required to converge to a circular formation of desired radius, with a specific ordering and spacing on the circle.

In the field of mobile robotics, many applications require feedback control laws that provide perfect path following. Previous work has shown that transverse feedback linearization is an effective approach to designing path following controllers that achieve perfect path following and path invariance. This thesis uses transverse feedback linearization and augments it with dynamic extension to present a framework for designing path following controllers for certain kinematic models of mobile robots. This approach can be used to design path following controllers for a large class of paths. While transverse feedback linearization makes the desired path attractive and invariant, dynamic extension allows the closed-loop system to achieve the desired motion along the path. In particular, dynamic extension can be used to make the mobile robot track a desired velocity or acceleration profile while moving along a path.

In the field of mobile robotics, many applications require feedback control laws that provide perfect path following. Previous work has shown that transverse feedback linearization is an effective approach to designing path following controllers that achieve perfect path following and path invariance. This thesis uses transverse feedback linearization and augments it with dynamic extension to present a framework for designing path following controllers for certain kinematic models of mobile robots. This approach can be used to design path following controllers for a large class of paths. While transverse feedback linearization makes the desired path attractive and invariant, dynamic extension allows the closed-loop system to achieve the desired motion along the path. In particular, dynamic extension can be used to make the mobile robot track a desired velocity or acceleration profile while moving along a path.