We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of excitation parameters. This provides a discrete time analog of our previous continuous time Lyapunov function constructions. We also construct explicit strict Lyapunov functions for systems satisfying nonstrict discrete time analogs of the conditions from Matrosov's Theorem. We use our methods to build strict Lyapunov functions for time-varying hybrid systems that contain mixtures of continuous and discrete time evolutions.
We study the stability properties of a class of time-varying nonlinear 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.
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 a f…
For a system that is governed by the isothermal Euler equations with friction for ideal gas, the corresponding field of characteristic curves is determined by the velocity of the flow. This velocity is determined by a second-order quasilinear hyperbolic equation. For the corresponding initial-boundary value problem with Neumann-boundary feedback, we consider non-stationary solutions locally around a stationary state on a finite time interval and discuss the well-posedness of this kind of problem. We introduce a strict $H^2$-Lyapunov function and show that the boundary feedback constant can be …
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, an…
For a general time-varying system, we prove that existence of an "Output Robust Control Lyapunov Function" implies existence of continuous time-varying feedback stabilizer, which guarantees output asymptotic stability with respect to the resulting closed-loop system. The main results of the present work constitute generalizations of a well-known result towards feedback stabilization due to J. M. Coron and L. Rosier concerning stabilization of autonomous systems by means of time-varying periodic feedback.
The objective of this paper is to study detectability, observability and related Lyapunov-type theorems of linear discrete-time time-varying stochastic systems with multiplicative noise. Some new concepts such as uniform detectability, ${\cal K}^{\infty}$-exact detectability (resp. ${\cal K}^{WFT}$-exact detectability, ${\cal K}^{FT}$-exact detectability, ${\cal K}^{N}$-exact detectability) and ${\cal K}^{\infty}$-exact observability (resp. ${\cal K}^{WFT}$-exact observability, ${\cal K}^{FT}$-exact observability, ${\cal K}^{N}$-exact observability) are introduced, respectively, and nice prope…
In this paper, we present Lyapunov-based {\color{black}time varying} controllers for {\color{black}fast} stabilization of a perturbed chain of integrators with bounded uncertainties. We refer to such controllers as {\color{black}time varying} higher order sliding mode controllers since they are designed for nonlinear Single-Input-Single-Output (SISO) systems with bounded uncertainties such that the uncertainty bounds are unknown. %{\color{blue} OLD: Our main result states that, given any neighborhood $\varepsilon$ of the origin, we determine a controller insuring, for every uncertainty bounds,…
Performance analysis for linear time-invariant (LTI) systems has been closely tied to quadratic Lyapunov functions ever since it was shown that LTI system stability is equivalent to the existence of such a Lyapunov function. Some metrics for LTI systems, however, have resisted treatment via means of quadratic Lyapunov functions. Among these, point-wise-in-time metrics, such as peak norms, are not captured accurately using these techniques, and this shortcoming has prevented the development of tools to analyze system behavior by means other than e.g. time-domain simulations. This work demonstra…
We analyze strict dissipativity of generalized linear quadratic optimal control problems on Hilbert spaces. Here, the term ``generalized'' refers to cost functions containing both quadratic and linear terms. We characterize strict pre-dissipativity with a quadratic storage function via coercivity of a particular Lyapunov-like quadratic form. Further, we show that under an additional algebraic assumption, strict pre-dissipativity can be strengthened to strict dissipativity. Last, we relate the obtained characterizations of dissipativity with exponential detectability.
In this paper, we study the problem of control of discrete-time linear time varying systems over uncertain channels. The uncertainty in the channels is modeled as a stochastic random variable. We use exponential mean square stability of the closed-loop system as a stability criterion. We show that fundamental limitations arise for the mean square exponential stabilization for the closed-loop system expressed in terms of statistics of channel uncertainty and the positive Lyapunov exponent of the open-loop uncontrolled system. Our results generalize the existing results known in the case of line…
This paper investigates the problem of solving discrete-time Lyapunov equations (DTLE) over a multi-agent system, where every agent has access to its local information and communicates with its neighbors. To obtain a solution to DTLE, a distributed algorithm with uncoordinated constant step sizes is proposed over time-varying topologies. The convergence properties and the range of constant step sizes of the proposed algorithm are analyzed. Moreover, a linear convergence rate is proved and the convergence performances over dynamic networks are verified by numerical simulations.
This paper introduces an advanced Lyapunov stability analysis for an attitude observer that has been developed on the special orthogonal group. In particular, when the attitude observer is constructed based on multiple direction measurements toward known reference points, a local exponential stability has been established by linearization, under the assumption that those reference points are fixed in the inertial frame. Several modifications have been proposed to deal with reference directions changing over time. Here, we present an alternative Lyapunov analysis to show that the attitude obser…
We extend results on backstepping hybrid feedbacks by exploiting synergistic Lyapunov function and feedback (SLFF) pairs in a generalized form. Compared to existing results, we delineate SLFF pairs that are ready-made and do not require extra dynamic variables for backstepping. From an (weak) SLFF pair for an affine control system, we construct an SLFF pair for an extended system where the control input is produced through an integrator. The resulting hybrid feedback asymptotically stabilizes the extended system when the synergy gap for the original system is strictly positive. To highlight th…
In this work, we propose a methodology for the expression of necessary and sufficient Lyapunov-like conditions for the existence of stabilizing feedback laws. The methodology is an extension of the well-known Control Lyapunov Function (CLF) method and can be applied to very general nonlinear time-varying systems with disturbance and control inputs, including both finite- and infinite-dimensional systems. The generality of the proposed methodology is also reflected upon by the fact that partial stability with respect to output variables is addressed. In addition, it is shown that the generalize…
In this paper, we show that for discrete time-varying linear control systems uniform complete controllability implies arbitrary assignability of dichotomy spectrum of closed-loop systems. This result significantly strengthens the result in A. Babiarz et. al. Pole placement theorem for discrete time-varying linear systems.SIAM J. Control Optim. 55 (2017), no. 2, 671-692 about arbitrary assignability of Lyapunov spectrum of discrete time-varying linear control systems.
Incremental stability is a property of dynamical and control systems, requiring the uniform asymptotic stability of every trajectory, rather than that of an equilibrium point or a particular time-varying trajectory. Similarly to stability, Lyapunov functions and contraction metrics play important roles in the study of incremental stability. In this paper, we provide characterizations and descriptions of incremental stability in terms of existence of coordinate-invariant notions of incremental Lyapunov functions and contraction metrics, respectively. Most design techniques providing controllers…
We consider the celebrated Cucker-Smale model in finite dimension, modelling interacting collective dynamics and their possible evolution to consensus. The objective of this paper is to study the effect of time delays in the general model. By a Lyapunov functional approach, we provide convergence results to consensus for symmetric as well as nonsymmetric communication weights under some structural conditions.
This paper studies the finite-time stability and stabilization of linear discrete time-varying stochastic systems with multiplicative noise. Firstly, necessary and sufficient conditions for finite-time stability are presented via state transition matrix approach. Secondly, this paper also develops the Lyapunov function method to study finite-time stability and stabilization of discrete time-varying stochastic systems based on matrix inequalities and linear matrix inequalities (LMIs), so as to Matlab LMI Toolbox can be used. Two numerical examples are given to illustrate the effectiveness of th…
Complete Lyapunov functions for a dynamical system, given by an autonomous ordinary differential equation, are scalar-valued functions that are strictly decreasing along orbits outside the chain-recurrent set. In this paper we show that we can prescribe the (negative) values of the derivative along orbits in any compact set, which is contained in the complement of the chain-recurrent set. Further, the complete Lyapunov function is as smooth as the vector field defining the dynamics. This delivers a theoretical foundation for numerical methods to construct complete Lyapunov functions and render…
This paper demonstrates input-to-state stability (ISS) of the SIR model of infectious diseases with respect to the disease-free equilibrium and the endemic equilibrium. Lyapunov functions are constructed to verify that both equilibria are individually robust with respect to perturbation of newborn/immigration rate which determines the eventual state of populations in epidemics. The construction and analysis are geometric and global in the space of the populations. In addition to the establishment of ISS, this paper shows how explicitly the constructed level sets reflect the flow of trajectorie…
Polyhedral Lyapunov functions can approximate any norm arbitrarily well. Because of this, they are used to study the stability of linear time varying and linear parameter varying systems without being conservative. However, the computational cost associated with using them grows unbounded as the size of their representation increases. Finding them is also a hard computational problem. Here we present an algorithm that attempts to find polyhedral functions while keeping the size of the representation fixed, to limit computational costs. We do this by measuring the gap from contraction for a giv…
We prove that for linear, discrete, time-varying, deterministic system (perfect model) with noisy outputs, the Riccati transformation in the Kalman filter asymptotically bounds the rank of the forecast and the analysis error covariance matrices to be less than or equal to the number of non-negative Lyapunov exponents of the system. Further, the support of these error covariance matrices is shown to be confined to the space spanned by the unstable-neutral backward Lyapunov vectors, providing the theoretical justification for the methodology of the algorithms that perform assimilation only in th…
We present a framework to transform the problem of finding a Lyapunov function of a Chemical Reaction Network (CRN) in concentration coordinates with arbitrary monotone kinetics into finding a common Lyapunov function for a linear parameter varying system in reaction coordinates. Alternative formulations of the proposed Lyapunov function is presented also. This is applied to reinterpret previous results by the authors on Piecewise Linear in Rates Lyapunov functions, and to establish a link with contraction analysis. Persistence and uniqueness of equilibria are discussed also.
Super-twisting over networks: A Lyapunov approach for distributed differentiation
Universidad de Zaragoza（萨拉戈萨大学）；Tecnológico Nacional de México, Instituto Tecnológico José Mario Molina Pasquel y Henríquez（墨西哥国立理工学院，何塞·马里奥·莫利纳·帕斯克尔和恩里克兹理工学院）
For general time-varying or switched (nonlinear) systems, converse Lyapunov theorems for stability are not available. In these cases, the integral input-to-state stability (iISS) property is not equivalent to the existence of an iISS-Lyapunov function but can still be characterized as the combination of global uniform asymptotic stability under zero input (0-GUAS) and uniformly bounded energy input-bounded state (UBEBS). For impulsive systems, asymptotic stability can be weak (when the asymptotic decay depends only on elapsed time) or strong (when such a decay depends also on the number of imp…
In this paper we consider a viscoelastic wave equation with a time-varying delay term, the coefficient of which is not necessarily positive. By introducing suitable energy and Lyapunov functionals, under suitable assumptions, we establish a general energy decay result from which the exponential and polynomial types of decay are only special cases.
In this report, we analyze and design feedback policies for discrete-time Piecewise-Affine (PWA) systems with uncertainty in both the affine dynamics and the polytopic partition. The main idea is to utilise the Difference-of-Convex (DC) decomposition of continuous PWA systems to derive quadratic Lyapunov functions as stability certificates and stabilizing affine policies in a higher dimensional space. When projected back to the state space, we obtain time-varying PWQ Lyapunov functions and time-varying PWA feedback policies.
Three similar convergence notions are considered. Two of them are the long established notions of convergent dynamics and incremental stability. The other is the more recent notion of contraction analysis. All three convergence notions require that all solutions of a system converge to each other. In this paper, we investigate the differences between these convergence properties for discrete-time, time-varying nonlinear systems by comparing the properties in pairs and using examples. We also demonstrate a time-varying smooth Lyapunov function characterization for each of these convergence noti…
This paper presents adaptive robust quadratic program (QP) based control using control Lyapunov and barrier functions for nonlinear systems subject to time-varying and state-dependent uncertainties. An adaptive estimation law is proposed to estimate the pointwise value of the uncertainties with pre-computable estimation error bounds. The estimated uncertainty and the error bounds are then used to formulate a robust QP, which ensures that the actual uncertain system will not violate the safety constraints defined by the control barrier function. Additionally, the accuracy of the uncertainty est…
In this technical note, we generalize the well-known Lyapunov-based stabilizability and detectability tests for linear time-invariant (LTI) systems to the context of discrete-time (DT) polytopic linear parameter-varying (LPV) systems. To do so, we exploit the mathematical structure of the class of poly-quadratic Lyapunov functions, which enables us to formulate conditions in the form of linear matrix inequalities (LMIs). Our results differ from existing conditions in that we adopt weaker assumptions on the parameter dependence of the controllers/observers and our method does not require explic…
