Related papers: Lyapunov Functions can Exactly Quantify Rate Perfo…
The stability analysis of a class of discontinuous discrete-time systems is studied in this paper. The system under study is modeled as a feedback interconnection of a linear system and a set-valued nonlinearity. An equivalent…
In this paper we use SOS and SDP to design output feedback controllers for a class of one-dimensional parabolic partial differential equations with point measurements and point actuation. Our approach is based on the use of SOS to search…
This paper studies the input-to-state stability (ISS) properties based on the method of Lyapunov functionals for a class of semi-linear parabolic partial differential equations (PDEs) with respect to boundary disturbances. In order to avoid…
Reliable quasi-static object manuipulation and robotic locomotion require verification of the stability of equilibria under rigid contacts and friction. In a recent paper, M. Posa, M. Tobenkin, and R. Tedrake demonstrated that…
This technical note studies Lyapunov-like conditions to ensure a class of dynamical systems to exhibit predefined-time stability. The origin of a dynamical system is predefined-time stable if it is fixed-time stable and an upper bound of…
We propose a moving horizon estimation scheme for joint state and parameter estimation for nonlinear uncertain discrete-time systems. We establish robust exponential convergence of the combined estimation error subject to process…
The present work provides two alternatives to formulate time-discounted incremental input/output-to-state stability (i-IOSS) as a suitable detectability notion for general nonlinear systems with non-additive disturbances. Both formulations…
In this paper we study analytically a parameter switching (PS) algorithm applied to a class of systems of ODE, depending on a single real parameter. The algorithm allows the numerical approximation of any solution of the underlying system…
Analysis of transient stability of strongly nonlinear post-fault dynamics is one of the most computationally challenging parts of Dynamic Security Assessment. This paper proposes a novel approach for assessment of transient stability of the…
This paper develops a new approach to the estimation of the degree of boundedness or stability of multidimensional nonlinear systems with time-dependent nonperiodic coefficients-an essential task in various engineering and natural science…
This paper considers a sampling-based approach to stability verification for piecewise continuous nonlinear systems via Lyapunov functions. Depending on the system dynamics, the candidate Lyapunov function and the set of initial states of…
Lyapunov functions with exponential weights have been used successfully as a powerful tool for the stability analysis of hyperbolic systems of balance laws. In this paper we extend the class of weight functions to a family of hyperbolic…
Several results regarding the stability and the stabilization of linear impulsive positive systems under arbitrary, constant, minimum, maximum and range dwell-time are obtained. The proposed stability conditions characterize the pointwise…
This brief gives a set of unified Lyapunov stability conditions to guarantee the predefined-time/finite-time stability of a dynamical systems. The derived Lyapunov theorem for autonomous systems establishes equivalence with existing…
We consider a stochastic partial differential equation close to bifurcation of pitchfork type, where a one-dimensional space changes its stability. For finite-time Lyapunov exponents we characterize regions depending on the distance from…
With the objective of developing computational methods for stability analysis of switched systems, we consider the problem of finding the minimal lower bounds on average dwell-time that guarantee global asymptotic stability of the origin.…
In this paper, by using a characterization of functions having fractional derivative, we propose a rigorous fractional Lyapunov function candidate method to analyze stability of fractional-order nonlinear systems. First, we prove an…
Iterative first-order methods such as gradient descent and its variants are widely used for solving optimization and machine learning problems. There has been recent interest in analytic or numerically efficient methods for computing…
Lyapunov's indirect method is an attractive method for analyzing stability of non-linear systems since only the stability of the corresponding linearized system needs to be determined. Unfortunately, the proof for finite-dimensional systems…
We provide a novel robust stability analysis for moving horizon estimation (MHE) using a Lyapunov function. Additionally, we introduce linear matrix inequalities (LMIs) to verify the necessary incremental input/output-to-state stability…