Related papers: Does the smooth planar dynamical system with one a…
We provide a constructive proof on the equivalence of two fundamental concepts: the global Lyapunov function in engineering and the potential function in physics, establishing a bridge between these distinct fields. This result suggests new…
The Lyapunov inequality is an indispensable tool for stability analysis in linear control theory. It provides a necessary and sufficient condition for the stability of an autonomous linear-time invariant system in terms of the existence of…
We present a computational framework for synthesizing a single smooth Lyapunov function that certifies both asymptotic stability and safety. We show that the existence of a strictly compatible pair of control barrier and control Lyapunov…
We show that on a dense open set of analytic one-frequency complex valued cocycles in arbitrary dimension Oseledets filtration is either dominated or trivial. The underlying mechanism is different from that of the Bochi-Viana Theorem for…
We find that to the dynamics of a given dissipative system a $p=1$ differential form can be associated with a general decomposition into a potential term and a non-potential residual part. If the residual part is absent the form is closed…
In this paper we first construct smooth Morse-Lyapunov functions of attractors for nonsmooth dynamical systems. Then we prove that all open attractor neighborhoods of an attractor have the same homotopy type. Based on this basic fact we…
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…
We devise an abstract, modular scheme to prove continuity of the Lyapunov exponents for a general class of linear cocycles. The main assumption is the availability of appropriate large deviation type (LDT) estimates which are uniform in the…
We show that a linear Young differential equation generates a topological two-parameter flow, thus the notions of Lyapunov exponents and Lyapunov spectrum are well-defined. The spectrum can be computed using the discretized flow and is…
We show that for any positive integer $d$, there are families of switched linear systems---in fixed dimension and defined by two matrices only---that are stable under arbitrary switching but do not admit (i) a polynomial Lyapunov function…
In this paper, we extend two classes of functions involved in asymptotic stability analyses. The goal of this extension is to study a maximization problem on the reachable values of a discrete-time dynamical system. This specific…
We provide algorithms for computing a Lyapunov function for a class of systems where the state trajectories are constrained to evolve within a closed convex set. The dynamical systems that we consider comprise a differential equation which…
We establish versions of Conley's (i) fundamental theorem and (ii) decomposition theorem for a broad class of hybrid dynamical systems. The hybrid version of (i) asserts that a globally-defined "hybrid complete Lyapunov function" exists for…
Deep networks are commonly used to model dynamical systems, predicting how the state of a system will evolve over time (either autonomously or in response to control inputs). Despite the predictive power of these systems, it has been…
One of the most common hypotheses on the theory of non-smooth dynamical systems is a regular surface as switching manifold, at which case there is at least well-defined and established Filippov dynamics. However, systems with singular…
The topic of this manuscript is the stability analysis of continuous-time switched nonlinear systems with constraints on the admissible switching signals. Our particular focus lies in considering signals characterized by upper and lower…
We study the problem of synthesizing polyhedral Lyapunov functions for hybrid linear systems. Such functions are defined as convex piecewise linear functions, with a finite number of pieces. We first prove that deciding whether there exists…
We consider linear cocycles over non-uniformly hyperbolic dynamical systems. The base system is a diffeomorphism $f$ of a compact manifold $X$ preserving a hyperbolic ergodic probability measure $\mu$. The cocycle $A$ over $f$ is Holder…
Although the spatially continuous version of the reaction-diffusion equation has been well studied, in some instances a spatially-discretized representation provides a more realistic approximation of biological processes. Indeed,…
In the context of mechanical Lagrangian dynamics, we prove a new Lyapunov instability criterion for a non strict local minimum equilibrium point of a smooth potential where the sufficient condition for instability is the existence of a…