Related papers: A Lyapunov function for fully nonlinear parabolic …
Lyapunov's second or direct method is one of the most widely used techniques for investigating stability properties of dynamical systems. This technique makes use of an auxiliary function, called a Lyapunov function, to ascertain stability…
We consider a system of two coupled non-linear Klein-Gordon equations. We show the existence of standing waves solutions and the existence of a Lyapunov function for the ground state.
We revisit the classical problem of absolute stability; assessing the robust stability of a given linear time-invariant (LTI) plant in feedback with a nonlinearity belonging to some given function class. Standard results typically take the…
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…
Invariant manifolds are fundamental tools for describing and understanding nonlinear dynamics. In this paper, we present a theory of stable and unstable manifolds for infinite dimensional random dynamical systems generated by a class of…
We investigate an example of noise-induced stabilization in the plane that was also considered in (Gawedzki, Herzog, Wehr 2010) and (Birrell, Herzog, Wehr 2011). We show that despite the deterministic system not being globally stable, the…
New necessary and sufficient conditions are proposed for the stability investigation of dynamical systems using the flow and the divergence of the phase vector velocity. The obtained conditions generalize the well-known results of V.P.…
Hybrid systems with memory are dynamical systems exhibiting both hybrid and delay phenomena. In this note, we study the asymptotic stability of hybrid systems with memory using generalized concepts of solutions. These generalized solutions,…
In this work, we address the problem of finite-time stabilization for a class of bilinear system. We propose a decomposition-based approach in which the nominal system is split into two subsystems, one of which is inherently finite-time…
Switched linear hyperbolic partial differential equations are considered in this paper. They model infinite dimensional systems of conservation laws and balance laws, which are potentially affected by a distributed source or sink term. The…
In this paper, we present an algorithm for stability analysis of systems described by coupled linear Partial Differential Equations (PDEs) with constant coefficients and mixed boundary conditions. Our approach uses positive matrices to…
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…
We study optimization-based criteria for the stability of switching systems, known as Path-Complete Lyapunov Functions, and ask the question "can we decide algorithmically when a criterion is less conservative than another". Our…
We show convergence of solutions to equilibria for quasilinear parabolic evolution equations in situations where the set of equilibria is non-discrete, but forms a finite-dimensional $C^1$-manifold which is normally hyperbolic. Our results…
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…
Thermodynamical arguments are known to be useful in the construction of physically motivated Lyapunov functionals for nonlinear stability analysis of spatially homogeneous equilibrium steady states in thermodynamically isolated systems.…
Let $L$ be a second order elliptic operator on $R^d$ with a constant diffusion matrix and a dissipative (in a weak sense) drift $b \in L^p_{loc}$ with some $p>d$. We assume that $L$ possesses a Lyapunov function, but no local boundedness of…
This paper proposes a method for certifying the local asymptotic stability of a given nonlinear Ordinary Differential Equation (ODE) by using Sum-of-Squares (SOS) programming to search for a partially quadratic Lyapunov Function (LF). The…
Systems with a first integral (i.e., constant of motion) or a Lyapunov function can be written as ``linear-gradient systems'' $\dot x= L(x)\nabla V(x)$ for an appropriate matrix function $L$, with a generalization to several integrals or…
Lyapunov functions are popularly used to investigate the stabilization problem of systems of hyperbolic conservation laws with boundary controls. In real life applications often not every boundary value can be observed. In this work, we…