Stabilization of Nonlinear Systems with Filtered Lyapunov Functions and Feedback Passivation

In this paper a generalized class of filtered Lyapunov functions is introduced, which are Lyapunov functions with time‐varying parameters satisfying certain differential equations. Filtered Lyapunov functions have the same stability properties as Lyapunov functions. Tools are given for designing composite filtered Lyapunov functions for cascaded systems. These functions are used to design globally stabilizing dynamic feedback laws for block‐feedforward systems with stabilizable linear approximation.     

线性多变量系统的控制Lyapunov函数构造

提出线性多变量系统控制Lyapunov函数(CLF)构造的一般方法. 先证明可以通过解一类Lyapunov方程, 得到线性系统二次型的CLF. 接着证明了对于线性系统, 这种方法可以提供所有二次型的CLF. 最后证明了若线性系统存在CLF, 那么必存在二次型的CLF. 由此完全解决了线性系统的CLF构造问题.     

Families of Lyapunov functions for nonlinear systems in criticalcases

Lyapunov functions are constructed for nonlinear systems of ordinary differential equations whose linearized system at an equalized point possesses either a simple zero eigenvalue or a complex conjugate pair of simple, pure imaginary eigenvalues. The construction is explicit, and yields parameterized families of Lyapunov functions for such systems. In the case of a zero eigenvalue, the Lyapunov functions contain quadratic and cubic terms in the state. Quartic terms appear as well for the case of a pair of pure imaginary eigenvalues. Predictions of local asymptotic stability using these Lyapunov functions are shown to coincide with those of pertinent bifurcation-theoretic calculations. The development of the paper is carried out using elementary properties of multilinear functions. The Lyapunov function families thus obtained are amenable to symbolic computer coding     

Input-to-state stability and interconnections of discontinuous dynamical systems

In this paper we will extend the input-to-state stability (ISS) framework to continuous-time discontinuous dynamical systems (DDS) adopting piecewise smooth ISS Lyapunov functions. The main motivation for investigating piecewise smooth ISS Lyapunov functions is the success of piecewise smooth Lyapunov functions in the stability analysis of hybrid systems. This paper proposes an extension of the well-known Filippov’s solution concept, that is appropriate for ‘open’ systems so as to allow interconnections of DDS. It is proven that the existence of a piecewise smooth ISS Lyapunov function for a DDS implies ISS. In addition, a (small gain) ISS interconnection theorem is derived for two DDS that both admit a piecewise smooth ISS Lyapunov function. This result is constructive in the sense that an explicit ISS Lyapunov function for the interconnected system is given. It is shown how these results can be applied to construct piecewise quadratic ISS Lyapunov functions for piecewise linear systems (including sliding motions) via linear matrix inequalities.     

切换系统基于反演递推法的鲁棒自适应控制

切换系统的稳定控制问题是一个重要的研究问题。基于李雅普诺夫函数的方法是研究切换系统稳定性的重要手段,但是有约束非线性系统的李亚普诺夫函数构造仍是一个难题(特别是对带有不确定性的非线性系统)。针对一类带有不确定性的严格反馈型切换非线性系统,利用反演递推法(backstepping)设计了子系统的基于李亚普诺夫函数的鲁棒自适应控制器,并证明了子闭环系统的稳定性,同时设计适当的切换律保证了整个闭环系统的稳定性。其中系统的未知不确定性及外界干扰不要求线性增长速度,并由模糊系统在线逼近。结果表明所提出方法的有效性。     

Set-valued Lyapunov functions for difference inclusions

The paper relates set-valued Lyapunov functions to pointwise asymptotic stability in systems described by a difference inclusion. Pointwise asymptotic stability of a set is a property which requires that each point of the set be Lyapunov stable and that every solution to the inclusion, from a neighborhood of the set, be convergent and have the limit in the set. Weak set-valued Lyapunov functions are shown, via an argument resembling an invariance principle, to imply this property. Strict set-valued Lyapunov functions are shown, in the spirit of converse Lyapunov results, to always exist for closed sets that are pointwise asymptotically stable.     

Lyapunov Functions, Stability and Input-to-State Stability Subtleties for Discrete-Time Discontinuous Systems

In this note we consider stability analysis of discrete-time discontinuous systems using Lyapunov functions. We demonstrate via simple examples that the classical second method of Lyapunov is precarious for discrete-time discontinuous dynamics. Also, we indicate that a particular type of Lyapunov condition, slightly stronger than the classical one, is required to establish stability of discrete-time discontinuous systems. Furthermore, we examine the robustness of the stability property when it was attained via a discontinuous Lyapunov function, which is often the case for discrete-time hybrid systems. In contrast to existing results based on smooth Lyapunov functions, we develop several input-to-state stability tests that explicitly employ an available discontinuous Lyapunov function.     

Explicit construction of quadratic Lyapunov functions for the small gain,positivity, circle,and popov theorems and their application to robust stability. Part I: Continuous-time theory

The purpose of this paper is to construct Lyapunov functions to prove the key fundamental results of linear system theory, namely, the small gain (bounded real), positivity (positive real), circle, and Popov theorems. For each result a suitable Riccati-like matrix equation is used to explicitly construct a Lyapunov function that guarantees asymptotic stability of the feedback interconnection of a linear time-invariant system and a memoryless nonlinearity. Lyapunov functions for the small gain and positivity results are also constructed for the interconnection of two transfer functions. A multivariable version of the circle criterion, which yields the bounded real and positive real results as limiting cases, is also derived. For a multivariable extension of the Popov criterion, a Lure-Postnikov Lyapunov function involving both a quadratic term and an integral of the nonlinearity, is constructed. Each result is specialized to the case of linear uncertainty for the problem of robust stability. In the case of the Popov criterion, the Lyapunov function is a parameter-dependent quadratic Lyapunov function.     

On the stability and control of nonlinear dynamical systems via vector Lyapunov functions

Vector Lyapunov theory has been developed to weaken the hypothesis of standard Lyapunov theory in order to enlarge the class of Lyapunov functions that can be used for analyzing system stability. In this paper, we extend the theory of vector Lyapunov functions by constructing a generalized comparison system whose vector field can be a function of the comparison system states as well as the nonlinear dynamical system states. Furthermore, we present a generalized convergence result which, in the case of a scalar comparison system, specializes to the classical Krasovskii-LaSalle invariant set theorem. In addition, we introduce the notion of a control vector Lyapunov function as a generalization of control Lyapunov functions, and show that asymptotic stabilizability of a nonlinear dynamical system is equivalent to the existence of a control vector Lyapunov function. Moreover, using control vector Lyapunov functions, we construct a universal decentralized feedback control law for a decentralized nonlinear dynamical system that possesses guaranteed gain and sector margins in each decentralized input channel. Furthermore, we establish connections between the recently developed notion of vector dissipativity and optimality of the proposed decentralized feedback control law. Finally, the proposed control framework is used to construct decentralized controllers for large-scale nonlinear systems with robustness guarantees against full modeling uncertainty.     

切换系统的二类共同Lyapunov 函数

研究切换系统的共同Lyapunov函数存在问题.对于一类正切换系统,给出了共同Lyapunov函数存在的充分条件.当系统矩阵集为二阶矩阵紧集时,给出了判断共同Lyapunov函数存在的方法,并给出了计算共同Lyapunov函数的算法.最后通过算例验证了所提出算法的有效性.     

A multiple Lyapunov function approach to stabilization of fuzzy control systems

This paper addresses stability analysis and stabilization for Takagi-Sugeno fuzzy systems via a so-called fuzzy Lyapunov function which is a multiple Lyapunov function. The fuzzy Lyapunov function is defined by fuzzily blending quadratic Lyapunov functions. Based on the fuzzy Lyapunov function approach, we give stability conditions for open-loop fuzzy systems and stabilization conditions for closed-loop fuzzy systems. To take full advantage of a fuzzy Lyapunov function, we propose a new parallel distributed compensation (PDC) scheme that feedbacks the time derivatives of premise membership functions. The new PDC contains the ordinary PDC as a special case. A design example illustrates the utility of the fuzzy Lyapunov function approach and the new PDC stabilization method.     

Homogeneous Lyapunov functions for systems with structured uncertainties

The problem addressed in this paper is the construction of homogeneous polynomial Lyapunov functions (HPLFs) for linear systems with time-varying structured uncertainties. A sufficient condition for the existence of an HPLF of given degree is formulated in terms of a linear matrix inequalities (LMI) feasibility problem. This condition turns out to be also necessary in some cases depending on the dimension of the system and the degree of the Lyapunov function. The maximum ?_∞ norm of the parametric uncertainty for which there exists a homogeneous polynomial Lyapunov function is computed by solving a generalized eigenvalue problem. The construction of such Lyapunov functions is efficiently performed by means of popular convex optimization tools for the solution of problems in LMI form. Comparisons with other classes of Lyapunov functions through numerical examples taken from the literature show that HPLFs are a powerful tool for robustness analysis.     

Further results on Lyapunov functions for slowly time-varying systems

We provide general methods for explicitly constructing strict Lyapunov functions for fully nonlinear slowly time-varying systems. Our results apply to cases where the given dynamics and corresponding frozen dynamics are not necessarily exponentially stable. This complements our previous Lyapunov function constructions for rapidly time-varying dynamics. We also explicitly construct input-to-state stable Lyapunov functions for slowly time-varying control systems. We illustrate our findings by constructing explicit Lyapunov functions for a pendulum model, an example from identification theory, and a perturbed friction model.     

Local stability analysis using simulations and sum-of-squares programming

The problem of computing bounds on the region-of-attraction for systems with polynomial vector fields is considered. Invariant subsets of the region-of-attraction are characterized as sublevel sets of Lyapunov functions. Finite-dimensional polynomial parametrizations for Lyapunov functions are used. A methodology utilizing information from simulations to generate Lyapunov function candidates satisfying necessary conditions for bilinear constraints is proposed. The suitability of Lyapunov function candidates is assessed solving linear sum-of-squares optimization problems. Qualified candidates are used to compute invariant subsets of the region-of-attraction and to initialize various bilinear search strategies for further optimization. We illustrate the method on small examples from the literature and several control oriented systems.     

Further results on strict Lyapunov functions for rapidly time-varying nonlinear systems

We explicitly construct global strict Lyapunov functions for rapidly time-varying nonlinear control systems. The Lyapunov functions we construct are expressed in terms of oftentimes more readily available Lyapunov functions for the limiting dynamics which we assume are uniformly globally asymptotically stable. This leads to new sufficient conditions for uniform global exponential, uniform global asymptotic, and input-to-state stability of fast time-varying dynamics. We also construct strict Lyapunov functions for our systems using a strictification approach. We illustrate our results using several examples.     

一类非线性系统控制Lyapunov函数的构造

The construction of control Lyapunov functions for a class of nonlinear systems is considered. We develop a method by which a control Lyapunov function for the feedback linearizable part can be constructed systematically via Lyapunov equation. Moreover, by a control Lyapunov function of the feedback linearizable part and a Lyapunov function of the zero dynamics, a control Lyapunov function for the overall nonlinear system is established.     

Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems

We study the stability properties of a class of time-varying non-linear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our given Lyapunov functions which guarantee the existence of strict ISS Lyapunov functions for our systems. Next, we provide simple direct constructions of explicit strict ISS Lyapunov functions for our systems by applying an integral smoothing method. We illustrate our constructions using a tracking problem for a rotating rigid body.     

On the inclusion of transfer conductances in Lyapunov functions for multimachine power systems

It is the usual practice to neglect transfer conductances while forming the Lyapunov functions for stability analysis of multimachine power systems. It is shown in this note that with certain approximations it is possible to construct valid Lyapunov functions for such systems which includes effects of transfer conductances.     

Lyapunov based reasoning methods

Semiquantitative simulation is an approach for the analysis of uncertain dynamic systems that performs a comprehensive simulation study based on automated reasoning methods. Semiquantitative simulation of complex models is, however, hindered by the limited automated reasoning capabilities of the currently available semiquantitative simulation techniques. The paper describes the extension of semiquantitative simulation techniques on the basis of Lyapunov methods. This extension improves automated reasoning by utilizing generalized energy functions, called Lyapunov functions. Automated reasoning based on Lyapunov functions can be seen as a generalization of the energy considerations employed by engineers. It has the advantage that it can be used to analyze systems where it does not make sense to speak about energy in the physical sense. The difficult task of deducing a Lyapunov function for the semiquantitatively modeled dynamic system is solved by reformulating methods from nonlinear control theory. A procedure for an automatic deduction of a Lyapunov function and Lyapunov-based reasoning methods using this deduced Lyapunov function are given. The improved automated reasoning capabilities of our extended SQSIM simulation platform are demonstrated by example     

Piecewise-affine Lyapunov functions for discrete-time linear systems with saturating controls

This paper is concerned with piecewise-affine (PWA) functions as Lyapunov function candidates for stability analysis of time-invariant discrete-time linear systems with saturating closed-loop control inputs. Using a PWA model of saturating closed-loop system, new necessary and sufficient conditions for a PWA function be a Lyapunov function are presented. Based on linear programming formulation of these conditions, an effective algorithm is proposed for construction of such Lyapunov functions for estimation of the region of local asymptotic stability. Compared to piecewise-linear functions, like Minkowski functions, PWA functions are more adequate to capture the dynamical effects of saturation nonlinearities, giving strictly less conservative results. The complexity of the proposed approach is polynomial in state dimension and exponential in saturating control dimension, being hence appropriate for problems with large state dimension but with few saturating inputs.