Related papers: A Compositional Approach to Certifying the Almost …
We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the…
In this paper, a class of abstract dynamical systems is considered which encompasses a wide range of nonlinear finite- and infinite-dimensional systems. We show that the existence of a non-coercive Lyapunov function without any further…
It is due to the modularity of the analysis that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general control techniques based on ``adding integrators''.…
Fixed-time stable dynamical systems are capable of achieving exact convergence to an equilibrium point within a fixed time that is independent of the initial conditions of the system. This property makes them highly appealing for designing…
We study the asymptotic stability properties of nonlinear switched systems under the assumption of the existence of a common weak Lyapunov function. We consider the class of nonchaotic inputs, which generalize the different notions of…
This article is concerned with stability analysis and stabilization of randomly switched nonlinear systems. These systems may be regarded as piecewise deterministic stochastic systems: the discrete switches are triggered by a stochastic…
For an underactuated (simple) Hamiltonian system with two degrees of freedom and one degree of underactuation, a rather general condition that ensures its stabilizability, by means of the existence of a (simple) Lyapunov function, was found…
We provide Lyapunov-like characterizations of boundedness and convergence of non-trivial solutions for a class of systems with unstable invariant sets. Examples of systems to which the results may apply include interconnections of stable…
This paper provides sufficient conditions for global asymptotic stability and global exponential stability, which can be applied to nonlinear, large-scale, uncertain discrete-time systems. The conditions are derived by means of vector…
This work is devoted to the almost sure stabilization of adaptive control systems that involve an unknown Markov chain. The control system displays continuous dynamics represented by differential equations and discrete events given by a…
In this paper, we present new results on finite- and fixed-time convergence for dynamical systems using LaSalle-like invariance principles. In particular, we provide first and second-order non-smooth Lyapunov-like results for finite- and…
This note studies (practical) asymptotic stability of nonlinear networked control systems whose protocols are not necessarily uniformly globally exponentially stable. In particular, we propose a Lyapunov-based approach to establish…
We consider the time-dependent nonlinear system $\dot q(t)=u(t)X(q(t))+(1-u(t))Y(q(t))$, where $q\in\R^2$, $X$ and $Y$ are two %$C^\infty$ smooth vector fields, globally asymptotically stable at the origin and $u:[0,\infty)\to\{0,1\}$ is an…
Monotone systems comprise an important class of dynamical systems that are of interest both for their wide applicability and because of their interesting mathematical properties. It is known that under the property of quasimonotonicity…
This article proposes an approach to construct a Lyapunov function for a linear coupled impulsive system consisting of two time-invariant subsystems. In contrast to various variants of small-gain stability conditions for coupled systems,…
This paper includes results centered around three topics, all of them related with the nonlinear stability of equilibria in Poisson dynamical systems. Firstly, we prove an energy-Casimir type sufficient condition for stability that uses…
We prove a converse Lyapunov theorem for almost sure stabilizability and almost sure asymptotic stabilizability of controlled diffusions: given a stochastic system a.s. stochastic open loop stabilizable at the origin, we construct a lower…
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…
In this paper, an asymptotic stability proof for a class of methods for inexact nonlinear model predictive control is presented. General Q-linearly convergent online optimization methods are considered and an asymptotic stability result is…
In this paper, we investigate the asymptotic behaviors of the solutions of nonlinear dynamic systems nearby an equilibrium point, when the nominal parts are subject to non necessarily small perturbations. We show that, under some estimates…