Related papers: Constructive Proof of Global Lyapunov Function as …
This paper focuses on a constructive treatment of the mathematical formalism of quantum theory and a possible role of constructivist philosophy in resolving the foundational problems of quantum mechanics, particularly, the controversy over…
This work presents an approach to synthesize a Lyapunov-like function to ensure incrementally input-to-state stability ($\delta$-ISS) property for an unknown discrete-time system. To deal with challenges posed by unknown system dynamics, we…
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…
This article presents a novel numerically tractable technique for synthesizing Lyapunov functions for equilibria of nonlinear vector fields. In broad strokes, corresponding to an isolated equilibrium point of a given vector field, a…
We prove the necessary and sufficient conditions for practical stability of nonlinear dynamical system at general phase restrictions. In such a case the Lyapunov function is nondifferentiable. But if the set of initial data is starry…
We present a method for constructing global analytical expressions that approximate a function over its entire range. These approximations not only mirror the original function as accurately as desired, but are purposefully created to…
We propose a novel framework for the Lyapunov analysis of an important class of hybrid systems, inspired by the theory of symbolic dynamics and earlier results on the restricted class of switched systems. This new framework allows us to…
This paper considers the problem of finite-time stability for stochastic nonlinear systems. A new Lyapunov theorem of stochastic finite-time stability is proposed, and an important corollary is obtained. Some comparisons with the existing…
It is well known that, the existence of a Lyapunov function is a sufficient condition for stability, asymptotic stability, or global asymptotic stability of an equilibrium point of an autonomous system $\dot{\mathbf{x}} = f(\mathbf{x})$. In…
In this paper, we provide a novel solution to an open problem on the global uniform stability of switched nonlinear systems. Our results are based on the Koopman operator approach and, to our knowledge, this is the first theoretical…
We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. We then exploit this result…
This paper is concerned with stability analysis of nonlinear time-varying systems by using Lyapunov function based approach. The classical Lyapunov stability theorems are generalized in the sense that the time-derivative of the Lyapunov…
We provide an example proving that there exists no quadratic Lyapunov function for a certain class of linear agreement/consensus algorithms, a fact that had been numerically verified in [5]. We also briefly discuss sufficient conditions for…
Stability analysis plays a crucial role in studying the behavior of dynamical systems with theoretical and engineering applications. Among various kinds of stability, the stability of equilibrium points is of the greatest importance which…
This paper considers a wide class of smooth continuous dynamic nonlinear systems (control objects) with a measurable vector of state. The problem is to find a special function (Lyapunov function), which in the framework of the second…
A rigorous proof of a theorem on the coexistence of smooth Lyapunov function and smooth planar dynamical system with one arbitrary limit cycle is given, combining with a novel decomposition of the dynamical system from the perspective of…
Monotone systems preserve a partial ordering of states along system trajectories and are often amenable to separable Lyapunov functions that are either the sum or the maximum of a collection of functions of a scalar argument. In this paper,…
In this article we study the stability in the sense of Lyapunov of the circular orbits in the generalized Manev two bodies problem. First, we explore the existence of the circular orbits and determine their radius. Then, using the first…
This paper presents a counterexample-guided iterative algorithm to compute convex, piecewise linear (polyhedral) Lyapunov functions for uncertain continuous-time linear hybrid systems. Polyhedral Lyapunov functions provide an alternative to…
In this paper, we extend well-known relationships between global asymptotic controllability, sample stabilizability, and the existence of a control Lyapunov function to a wide class of control systems with unbounded controls, which includes…