Switching control for incremental stabilization of nonlinear systems via contraction theory

In this paper we present a switching control strategy to incrementally stabilize a class of nonlinear dynamical systems. Exploiting recent results on contraction analysis of switched Filippov systems derived using regularization, sufficient conditions are presented to prove incremental stability of the closed-loop system. Furthermore, based on these sufficient conditions, a design procedure is proposed to design a switched control action that is active only where the open-loop system is not sufficiently incrementally stable in order to reduce the required control effort. The design procedure to either locally or globally incrementally stabilize a dynamical system is then illustrated by means of a representative example.Comment: Accepted to ECC 201

Observer design for piecewise smooth and switched systems via contraction theory

The aim of this paper is to present the application of an approach to study contraction theory recently developed for piecewise smooth and switched systems. The approach that can be used to analyze incremental stability properties of so-called Filippov systems (or variable structure systems) is based on the use of regularization, a procedure to make the vector field of interest differentiable before analyzing its properties. We show that by using this extension of contraction theory to nondifferentiable vector fields, it is possible to design observers for a large class of piecewise smooth systems using not only Euclidean norms, as also done in previous literature, but also non-Euclidean norms. This allows greater flexibility in the design and encompasses the case of both piecewise-linear and piecewise-smooth (nonlinear) systems. The theoretical methodology is illustrated via a set of representative examples.Comment: Preprint accepted to IFAC World Congress 201

Contraction analysis of switched Filippov systems via regularization

We study incremental stability and convergence of switched (bimodal) Filippov systems via contraction analysis. In particular, by using results on regularization of switched dynamical systems, we derive sufficient conditions for convergence of any two trajectories of the Filippov system between each other within some region of interest. We then apply these conditions to the study of different classes of Filippov systems including piecewise smooth (PWS) systems, piecewise affine (PWA) systems and relay feedback systems. We show that contrary to previous approaches, our conditions allow the system to be studied in metrics other than the Euclidean norm. The theoretical results are illustrated by numerical simulations on a set of representative examples that confirm their effectiveness and ease of application.Comment: Preprint submitted to Automatic

Contraction analysis of nonlinear systems and its application

The thesis addresses various issues concerning the convergence properties of switched systems and differential algebraic equation (DAE) systems. Specifically, we focus on contraction analysis problem, as well as tackling problems related to stabilization and synchronization. We consider the contraction analysis of switched systems and DAE systems. To address this, a transformation is employed to convert the contraction analysis problem into a stabilization analysis problem. This transformation involves the introduction of virtual systems, which exhibit a strong connection with the Jacobian matrix of the vector field. Analyzing these systems poses a significant challenge due to the distinctive structure of their Jacobian matrices. Regarding the switched systems, a time-dependent switching law is established to guarantee uniform global exponential stability (UGES). As for the DAE system, we begin by embedding it into an ODE system. Subsequently, the UGES property is ensured by analyzing its matrix measure. As our first application, we utilize our approach to stabilize time-invariant switched systems and time-invariant DAE systems, respectively. This involves designing control laws to achieve system contractivity, thereby ensuring that the trajectory set encompasses the equilibrium point. In oursecond application, we propose the design of a time-varying observer by treating the system’s output as an algebraic equation of the DAE system. In our study on synchronization problems, we investigate two types of synchronization issues: the trajectory tracking of switched oscillators and the pinning state synchronization. In the case of switched oscillators, we devise a time-dependent switching law to ensure that these oscillators effectively follow the trajectory of a time-varying system. As for the pinning synchronization problem, we define solvable conditions and, building upon these conditions, we utilize contraction theory to design dynamic controllers that guarantee synchronization is achieved among the agents

Contraction analysis of nonlinear systems and its application

The thesis addresses various issues concerning the convergence properties of switched systems and differential algebraic equation (DAE) systems. Specifically, we focus on contraction analysis problem, as well as tackling problems related to stabilization and synchronization. We consider the contraction analysis of switched systems and DAE systems. To address this, a transformation is employed to convert the contraction analysis problem into a stabilization analysis problem. This transformation involves the introduction of virtual systems, which exhibit a strong connection with the Jacobian matrix of the vector field. Analyzing these systems poses a significant challenge due to the distinctive structure of their Jacobian matrices. Regarding the switched systems, a time-dependent switching law is established to guarantee uniform global exponential stability (UGES). As for the DAE system, we begin by embedding it into an ODE system. Subsequently, the UGES property is ensured by analyzing its matrix measure. As our first application, we utilize our approach to stabilize time-invariant switched systems and time-invariant DAE systems, respectively. This involves designing control laws to achieve system contractivity, thereby ensuring that the trajectory set encompasses the equilibrium point. In oursecond application, we propose the design of a time-varying observer by treating the system’s output as an algebraic equation of the DAE system. In our study on synchronization problems, we investigate two types of synchronization issues: the trajectory tracking of switched oscillators and the pinning state synchronization. In the case of switched oscillators, we devise a time-dependent switching law to ensure that these oscillators effectively follow the trajectory of a time-varying system. As for the pinning synchronization problem, we define solvable conditions and, building upon these conditions, we utilize contraction theory to design dynamic controllers that guarantee synchronization is achieved among the agents

On contraction analysis of switched systems with mixed contracting-noncontracting modes via mode-dependent average dwell time

This paper studies contraction analysis of switched systems that are composed of a mixture of contracting and non-contracting modes. The first result pertains to the equivalence of the contraction of a switched system and the uniform global exponential stability of its variational system. Based on this equivalence property, sufficient conditions for a mode-dependent average dwell/leave-time based switching law to be contractive are estab- lished. Correspondingly, LMI conditions are derived that allow for numerical validation of contraction property of nonlinear switched systems, which include those with all non-contracting modes

Optimization-based Framework for Stability and Robustness of Bipedal Walking Robots

As robots become more sophisticated and move out of the laboratory, they need to be able to reliably traverse difficult and rugged environments. Legged robots -- as inspired by nature -- are most suitable for navigating through terrain too rough or irregular for wheels. However, control design and stability analysis is inherently difficult since their dynamics are highly nonlinear, hybrid (mixing continuous dynamics with discrete impact events), and the target motion is a limit cycle (or more complex trajectory), rather than an equilibrium. For such walkers, stability and robustness analysis of even stable walking on flat ground is difficult. This thesis proposes new theoretical methods to analyse the stability and robustness of periodic walking motions. The methods are implemented as a series of pointwise linear matrix inequalities (LMI), enabling the use of convex optimization tools such as sum-of-squares programming in verifying the stability and robustness of the walker. To ensure computational tractability of the resulting optimization program, construction of a novel reduced coordinate system is proposed and implemented. To validate theoretic and algorithmic developments in this thesis, a custom-built “Compass gait” walking robot is used to demonstrate the efficacy of the proposed methods. The hardware setup, system identification and walking controller are discussed. Using the proposed analysis tools, the stability property of the hardware walker was successfully verified, which corroborated with the computational results