Robust Stability Analysis of Nonlinear Hybrid Systems

We present a methodology for robust stability analysis of nonlinear hybrid systems, through the algorithmic construction of polynomial and piecewise polynomial Lyapunov-like functions using convex optimization and in particular the sum of squares decomposition of multivariate polynomials. Several improvements compared to previous approaches are discussed, such as treating in a unified way polynomial switching surfaces and robust stability analysis for nonlinear hybrid systems

Dwell-time computation for stability of switched systems with time delays

Cataloged from PDF version of article.The aim of this study is to find an improved dwell time that guarantees the stability of switched systems with heterogeneous constant time-delays. Piecewise Lyapunov-Krasovkii functionals are used for each candidate system to investigate the stability of the switched time-delayed system. Under the assumption that each candidate system is stable for small delay values, a sufficient condition for dwell-time that guarantees the asymptotic stability is derived. Numerical examples are given to compare the results with the previously obtained dwell-time bounds. © The Institution of Engineering and Technology 2013

Bifurcations of piecewise smooth flows:perspectives, methodologies and open problems

In this paper, the theory of bifurcations in piecewise smooth flows is critically surveyed. The focus is on results that hold in arbitrarily (but finitely) many dimensions, highlighting significant areas where a detailed understanding is presently lacking. The clearest results to date concern equilibria undergoing bifurcations at switching boundaries, and limit cycles undergoing grazing and sliding bifurcations. After discussing fundamental concepts, such as topological equivalence of two piecewise smooth systems, discontinuity-induced bifurcations are defined for equilibria and limit cycles. Conditions for equilibria to exist in n-dimensions are given, followed by the conditions under which they generically undergo codimension-one bifurcations. The extent of knowledge of their unfoldings is also summarized. Codimension-one bifurcations of limit cycles and boundary-intersection crossing are described together with techniques for their classification. Codimension-two bifurcations are discussed with suggestions for further study

Linear programming based Lyapunov function computation for differential inclusions

International audienceWe present a numerical algorithm for computing Lyapunov functions for a class of strongly asymptotically stable nonlinear differential inclusions which includes spatially switched systems and systems with uncertain parameters. The method relies on techniques from nonsmooth analysis and linear programming and constructs a piecewise affine Lyapunov function. We provide necessary background material from nonsmooth analysis and a thorough analysis of the method which in particular shows that whenever a Lyapunov function exists then the algorithm is in principle able to compute it. Two numerical examples illustrate our method

Review on computational methods for Lyapunov functions

Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both in theory and applications. They provide sufficient conditions for the stability of equilibria or more general invariant sets, as well as for their basin of attraction. The necessity, i.e. the existence of Lyapunov functions, has been studied in converse theorems, however, they do not provide a general method to compute them. Because of their importance in stability analysis, numerous computational construction methods have been developed within the Engineering, Informatics, and Mathematics community. They cover different types of systems such as ordinary differential equations, switched systems, non-smooth systems, discrete-time systems etc., and employ di_erent methods such as series expansion, linear programming, linear matrix inequalities, collocation methods, algebraic methods, set-theoretic methods, and many others. This review brings these different methods together. First, the different types of systems, where Lyapunov functions are used, are briefly discussed. In the main part, the computational methods are presented, ordered by the type of method used to construct a Lyapunov function

Continuous Uniform Finite Time Stabilization of Planar Controllable Systems

Continuous homogeneous controllers are utilized in a full state feedback setting for the uniform finite time stabilization of a perturbed double integrator in the presence of uniformly decaying piecewise continuous disturbances. Semiglobal strong $\mathcal{C}^1$ Lyapunov functions are identified to establish uniform asymptotic stability of the closed-loop planar system. Uniform finite time stability is then proved by extending the homogeneity principle of discontinuous systems to the continuous case with uniformly decaying piecewise continuous nonhomogeneous disturbances. A finite upper bound on the settling time is also computed. The results extend the existing literature on homogeneity and finite time stability by both presenting uniform finite time stabilization and dealing with a broader class of nonhomogeneous disturbances for planar controllable systems while also proposing a new class of homogeneous continuous controllers