Related papers: Uniform weak attractivity and criteria for practic…
Despite Neural Ordinary Differential Equations (Neural ODEs) exhibiting intrinsic robustness, existing methods often impose Lyapunov stability for formal guarantees. However, these methods still face a fundamental accuracy-robustness…
Many dynamical systems described by nonlinear ODEs are unstable. Their associated solutions do not converge towards an equilibrium point, but rather converge towards some invariant subset of the state space called an attractor set. For a…
We provide a systematic investigation of using physics-informed neural networks to compute Lyapunov functions. We encode Lyapunov conditions as a partial differential equation (PDE) and use this for training neural network Lyapunov…
We study strange non-chaotic attractors in a class of quasiperiodically forced monotone interval maps known as pinched skew products. We prove that the probability of positive time-N Lyapunov exponents, with respect to the unique physical…
We introduce a novel quantity for general dynamical systems, which we call the asymptotic uniform complexity. We prove an inequality relating the asymptotic uniform complexity of a dynamical system to its mean topological matching number.…
Stability analysis tools are essential to understanding and controlling any engineering system. Recently sum-of-squares (SOS) based methods have been used to compute Lyapunov based estimates for the region-of-attraction (ROA) of polynomial…
We consider the class of quantum mechanical master equations defined on a generic Banach space, arising by projecting weakly perturbed one-parameter groups of isometries. We show that the possible semigroup approximations are far from…
Control theory can provide useful insights into the properties of controlled, dynamic systems. One important property of nonlinear systems is the region of attraction (ROA), a safe subset of the state space in which a given controller…
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…
When the state of a system may remain bounded even if both the input amplitude and energy are unbounded, then the state bounds given by the standard input-to-state stability (ISS) and integral-ISS (iISS) properties may provide no useful…
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…
In this paper, we consider the problem of stabilizing discrete-time linear systems by computing a nearby stable matrix to an unstable one. To do so, we provide a new characterization for the set of stable matrices. We show that a matrix $A$…
In this article we study the asymptotic behavior of solutions, in sense of global pullback attractors, of the evolution system $$ \begin{cases} u_{tt} +\eta\Delta^2 u+a(t)\Delta\theta=f(t,u), & t>\tau,\ x\in\Omega,\\ \theta_t-\kappa\Delta…
In this paper we show that the existence of a Lyapunov-Krasovskii functional is necessary and sufficient condition for the uniform global asymptotic stability and the global exponential stability of time-invariant systems described by…
In dealing with asymptotic approximation of possibly divergent nets of probability distributions, we are led to study uniform structures on the set of distributions. This paper identifies a class of such uniform structures that may be…
This paper addresses the robust stability of a boundary controlled system coupling two partial differential equations (PDEs), namely beam and string equations, in the presence of boundary and in-domain disturbances under the framework of…
We study the stability properties of a class of time-varying nonlinear systems. We assume that non-strict input-to-state stable (ISS) Lyapunov functions for our systems are given and posit a mild persistency of excitation condition on our…
Stability analysis and control of linear impulsive systems is addressed in a hybrid framework, through the use of continuous-time time-varying discontinuous Lyapunov functions. Necessary and sufficient conditions for stability of impulsive…
Global dynamics of nonautonomous diffusive Hindmarsh-Rose equations on a three-dimensional bounded domain in neurodynamics is investigated. The existence of a pullback attractor is proved through uniform estimates showing the pullback…
For a process U(t,s) acting on a one-parameter family of normed spaces, we present a notion of time-dependent attractor based only on the minimality with respect to the pullback attraction property. Such an attractor is shown to be…