Exponentially Stable Nonlinear Systems Have Polynomial Lyapunov Functions on Bounded Regions

This paper presents a proof that existence of a polynomial Lyapunov function is necessary and sufficient for exponential stability of a sufficiently smooth nonlinear vector field on a bounded set. The main result states that if there exists an $n$ -times continuously differentiable Lyapunov function which proves exponential stability on a bounded subset of $ BBR ^{n}$, then there exists a polynomial Lyapunov function which proves exponential stability on the same region. Such a continuous Lyapunov function will exist if, for example, the vector field is at least $n$-times continuously differentiable. The proof is based on a generalization of the Weierstrass approximation theorem to differentiable functions in several variables. Specifically, polynomials can be used to approximate a differentiable function, using the Sobolev norm $W^{1,infty }$ to any desired accuracy. This approximation result is combined with the second-order Taylor series expansion to show that polynomial Lyapunov functions can approximate continuous Lyapunov functions arbitrarily well on bounded sets. The investigation is motivated by the use of polynomial optimization algorithms to construct polynomial Lyapunov functions.      

混杂系统的一致输入输出对状态稳定性

混杂系统的输入输出对状态稳定性是混杂控制系统领域极富挑战性的课题之一. 为了观测混杂系统的状态,本文提出了一类混杂系统的一致输入输出对状态稳定的充分条件,分析了混杂系统的一致输入输出对状态稳定性、光滑Lyapunov函数存在性和状态模估计器存在性三者之间的关系. 借助状态模估计器将混杂系统化为受扰动系统,获得了受扰动系统一致输入输出对状态稳定性的结果,并进一步证明了混杂系统的一致输入输出对状态稳定性.     

Smooth Lyapunov Functions for Hybrid Systems Part II: (Pre)Asymptotically Stable Compact Sets

It is shown that (pre)asymptotic stability, which generalizes asymptotic stability, of a compact set for a hybrid system satisfying mild regularity assumptions is equivalent to the existence of a smooth Lyapunov function. This result is achieved with the intermediate result that asymptotic stability of a compact set for a hybrid system is generically robust to small, state-dependent perturbations. As a special case, we state a converse Lyapunov theorem for systems with logic variables and use this result to establish input-to-state stabilization using hybrid feedback control. The converse Lyapunov theorems are also used to establish semiglobal practical robustness to slowly varying, weakly jumping parameters, to temporal regularization, to the insertion of jumps according to an ldquoaverage dwell-timerdquo rule, and to the insertion of flow according to a ldquoreverse average dwell-timerdquo rule.     

Discrete-time stochastic control systems: A continuous Lyapunov function implies robustness to strictly causal perturbations

Discrete-time stochastic systems employing possibly discontinuous state-feedback control laws are addressed. Allowing discontinuous feedbacks is fundamental for stochastic systems regulated, for instance, by optimization-based control laws. We introduce generalized random solutions for discontinuous stochastic systems to guarantee the existence of solutions and to generate enough solutions to get an accurate picture of robustness with respect to strictly causal perturbations. Under basic regularity conditions, the existence of a continuous stochastic Lyapunov function is sufficient to establish that asymptotic stability in probability for the closed-loop system is robust to sufficiently small, state-dependent, strictly causal, worst-case perturbations. Robustness of a weaker stochastic stability property called recurrence is also shown in a global sense in the case of state-dependent perturbations, and in a semiglobal practical sense in the case of persistent perturbations. An example shows that a continuous stochastic Lyapunov function is not sufficient for robustness to arbitrarily small worst-case disturbances that are not strictly causal. Our positive results are also illustrated by examples.     

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.     

The Exponential Stability for a Class of Hybrid Systems

The exponential stability with a nonsmooth Lyapunov function for a class of hybrid systems is studied in this paper. First, a sufficient condition is derived that has to be satisfied by the feedback control for the hybrid systems. Then, for the special case where the Lyapunov function involved is a kind of nonsmooth function, the maximum of finitely many smooth functions (for short, max‐type function), the stability of a hybrid system is considered, and a convenient criterion to determine the stability of the system is established. Finally, a numerical method of determining the control input value is developed.     

A Matrosov theorem for strong global recurrence

A theorem on nested Matrosov functions is presented for time-varying stochastic, set-valued discrete-time systems satisfying mild regularity conditions. It establishes sufficient conditions for uniform strong global recurrence of an open, bounded set. In general Matrosov functions are required to satisfy less rigid requirements than typical Lyapunov functions that satisfy a strict decrease condition along trajectories.     

Stabilizing periodic orbits of a class of mechanical systems with impulse effects: A Lyapunov constraint approach

This paper study the stabilization of mechanical system with impulse effects around a hybrid limit cycle, the proposed control approach is based on LaSalle’s invariance principle for hybrid systems and Layounov constraint based method. Theorem 2 shows necessary and sufficient condition of the existence and the uniqueness of the developed controller which leads to a system of partial differential equations (PDE) whose solutions are the kinetic and potential energy of smooth Lyapunov function, furthermore Theorem 3 gave an alternative existence condition which states that the largest positively invariant set should be nowhere dense and closed and it is none other than the hybrid limit cycle itself.

     

Frequency-Domain Stability Conditions for Discrete-Time Switched Systems

We consider discrete-time switched systems with switching of linear time-invariant right-hand parts. The notion of a connected discrete switched system is introduced. For systems with the connectedness property, we propose necessary and sufficient frequency-domain conditions for the existence of a common quadratic Lyapunov function that provides the stability for a system under arbitrary switching. The set of connected switched systems contains discrete control systems with several time-varying nonlinearities from the finite sectors, considered in the theory of absolute stability. We consider the case of switching between three linear subsystems in more details and give an illustrative example.     

Discrete-time asymptotic controllability implies smooth control-Lyapunov function

We demonstrate the existence of a smooth control-Lyapunov function (CLF) for difference equations asymptotically controllable to closed sets. We further show that this CLF may be used to construct a robust feedback stabilizer. The existence of such a CLF is a consequence of a more general result on the existence of weak Lyapunov function under the assumption of weak asymptotic stability of a closed (not necessarily compact) set for a difference inclusion.     

Smooth patchy control Lyapunov functions

A smooth patchy control Lyapunov function for a nonlinear system consists of an ordered family of smooth local control Lyapunov functions, whose open domains form a locally finite cover of the state space of the system, and which satisfy certain further increase or decrease conditions. We prove that such a control Lyapunov function exists for any asymptotically controllable nonlinear system. We also show a construction, based on such a control Lyapunov function, of a stabilizing hybrid feedback that is robust to measurement noise.     

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.     

On the stability of fuzzy systems

Studies the global asymptotic stability of a class of fuzzy systems. It demonstrates the equivalence of stability properties of fuzzy systems and linear time invariant (LTI) switching systems. A necessary and sufficient condition for the stability of such systems are given, and it is shown that under the sufficient condition, a common Lyapunov function exists for the LTI subsystems. A particular case when the system matrices can be simultaneously transformed to normal matrices is shown to correspond to the existence of a common quadratic Lyapunov function. A constructive procedure to check the possibility of simultaneous transformation to normal matrices is provided     

Lyapunov and converse Lyapunov theorems for stochastic semistability

This paper develops Lyapunov and converse Lyapunov theorems for stochastic semistable nonlinear dynamical systems. Semistability is the property whereby the solutions of a stochastic dynamical system almost surely converge to (not necessarily isolated) Lyapunov stable in probability equilibrium points determined by the system initial conditions. Specifically, we provide necessary and sufficient Lyapunov conditions for stochastic semistability and show that stochastic semistability implies the existence of a continuous Lyapunov function whose infinitesimal generator decreases along the dynamical system trajectories and is such that the Lyapunov function satisfies inequalities involving the average distance to the set of equilibria.     

Stability analysis of discrete-time Lur’e systems

A class of Lyapunov functions is proposed for discrete-time linear systems interconnected with a cone bounded nonlinearity. Using these functions, we propose sufficient conditions for the global stability analysis, in terms of linear matrix inequalities (LMI), only taking the bounded sector condition into account. Unlike frameworks based on the Lur’e-type function, the additional assumptions about the derivative or discrete variation of the nonlinearity are not necessary. Hence, a wider range of cone bounded nonlinearities can be covered. We also show that there is a link between global stability LMI conditions based on this new Lyapunov function and a transfer function of an auxiliary system being strictly positive real. In addition, the novel function is considered in the local stability analysis problem of discrete-time Lur’e systems subject to a saturating feedback. A convex optimization problem based on sufficient LMI conditions is formulated to maximize an estimate of the basin of attraction. Another specificity of this new Lyapunov function is the fact that the estimate is composed of disconnected sets. Numerical examples reveal the effectiveness of this new Lyapunov function in providing a less conservative estimate with respect to the quadratic function.     

Robust stability of quasi-periodic hybrid dynamic uncertain systems

Considers the robust stability of quasi-periodic hybrid dynamic systems (HDSs) with polytopic uncertainties. The quasi-periodic HDSs has infinite switchings, but the switching sequence forms a cycle and the cycle is repeated. We derive the stability conditions for quasi-periodic HDS with uncertainties in continuous-variable dynamic systems, and with variations in both the “switching”-conditional set and the reset map by analyzing the behavior of the system along the cycle. The results require the Lyapunov function to be bounded by a continuous function along each continuous-variable dynamic system, and is nonincreasing along a subsequence of the “switchings.” They do not require the Lyapunov function to be nonincreasing along the whole sequence of the switchings     

Conditions for local almost sure asymptotic stability

In this paper, we investigate local asymptotic stability ensured by the addition of Gaussian white noise into dynamical systems. There are different stability notions for stochastic systems, such as asymptotic stability in probability (ASiP) and uniform almost sure asymptotic stability (UASAS). The local ASiP property is incapable of ensuring that sample paths converge to the origin with probability one, whereas the local UASAS property is capable of it. However, in general, the local UASAS property requires tight conditions. Here, we provide our notion of local almost sure asymptotic stability (local ASAS) to relax the conditions with both almost sure convergence of sample paths to the origin and the existence of bounded (weak) invariant sets. We find that the addition of Gaussian white noise always prevents the origin from being locally UASAS as long as we consider smooth Lyapunov functions; however, it is possible to make the origin locally ASAS. The result is confirmed by a simple example of elimination of unstable equilibria by deliberately adding Gaussian white noise.     

Characterizations of detectability notions in terms of discontinuous dissipation functions

We consider a new Lyapunov-type characterization of detectability for non-linear systems without controls, in terms of lower-semicontinuous (not necessarily smooth, or even continuous) dissipation functions, and prove its equivalence to the GASMO (global asymptotic stability modulo outputs) and UOSS (uniform output-to-state stability) properties studied in previous work. The result is then extended to provide a construction of a discontinuous dissipation function characterization of the IOSS (input-to-state stability) property for systems with controls. This paper complements a recent result on smooth Lyapunov characterizations of IOSS. The utility of non-smooth Lyapunov characterizations is illustrated by application to a well-known transistor network example.     

Frequency-domain stability conditions for hybrid systems

Consideration was given to a special class of the hybrid systems with switchings of time-invariant linear right-hand sides. A narrower subclass of such systems, that of connected switched linear systems, was specified among them. The necessary and sufficient frequencydomain conditions (criteria) for the existence of a common quadratic Lyapunov function providing stability of the switched systems were proposed for them. The specified subclass includes control systems with several nonstationary nonlinearities from the finite sectors that are the matter at issue of the theory of absolute stability. For the connected switched linear systems of a special kind (triangular type systems), the separate necessary and separate sufficient existence conditions were obtained for such Lyapunov functions. The interrelations between these conditions were discussed in the example.