Characterization of well-posedness of piecewise linear systems

One of the basic issues in the study of hybrid systems is the well-posedness (existence and uniqueness of solutions) problem of discontinuous dynamical systems. The paper addresses this problem for a class of piecewise-linear discontinuous systems under the definition of solutions of Caratheodory. The concepts of jump solutions or of sliding modes are not considered here. In this sense, the problem to be discussed is one of the most basic problems in the study of well-posedness for discontinuous dynamical systems. First, we derive necessary and sufficient conditions for bimodal systems to be well-posed, in terms of an analysis based on lexicographic inequalities and the smooth continuation property of solutions. Next, its extensions to the multimodal case are discussed. As an application to switching control, in the case that two state feedback gains are switched according to a criterion depending on the state, we give a characterization of all admissible state feedback gains for which the closed loop system remains well-pose

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

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

Lyapunov stability for piecewise affine systems via cone-copositivity

Cone-copositive piecewise quadratic Lyapunov functions (PWQ-LFs) for the stability analysis of continuous-time piecewise affine (PWA) systems are proposed. The state space is assumed to be partitioned into a finite number of convex, possibly unbounded, polyhedra. Preliminary conditions on PWQ functions for their sign in the polyhedra and continuity over the common boundaries are provided. The sign of each quadratic function is studied by means of cone-constrained matrix inequalities which are translated into linear matrix inequalities (LMIs) via cone-copositivity. The continuity is guaranteed by adding equality constraints over the polyhedra intersections. An asymptotic stability result for PWA systems is then obtained by finding a continuous PWQ-LF through the solution of a set of constrained LMIs. The effectiveness of the proposed approach is shown by analyzing an opinion dynamics model and two saturating control systems

Stability analysis and controller synthesis for a class of piecewise smooth systems

This thesis deals with the analysis and synthesis of piecewise smooth (PWS) systems. In general, PWS systems are nonsmooth systems, which means their vector fields are discontinuous functions of the state vector. Dynamic behavior of nonsmooth systems is richer than smooth systems. For example, there are phenomena such as sliding modes that occur only in nonsmooth systems. In this thesis, a Lyapunov stability theorem is proved to provide the theoretical framework for the stability analysis of PWS systems. Piecewise affine (PWA) and piecewise polynomial (PWP) systems are then introduced as important subclasses of PWS systems. The objective of this thesis is to propose efficient computational controller synthesis methods for PWA and PWP systems. Three synthesis methods are presented in this thesis. The first method extends linear controllers for uncertain nonlinear systems to PWA controllers. The result is a PWA controller that maintains the performance of the linear controller while extending its region of convergence. However, the synthesis problem for the first method is formulated as a set of bilinear matrix inequalities (BMIs), which are not easy to solve. Two controller synthesis methods are then presented to formulate PWA and PWP controller synthesis as convex problems, which are numerically tractable. Finally, to address practical implementation issues, a time-delay approach to stability analysis of sampled-data PWA systems is presented. The proposed method calculates the maximum sampling time for a sampled-data PWA system consisting of a continuous-time plant and a discrete-time emulation of a continuous-time PWA state feedback controller