Related papers: Can We Prove Stability by Using a Positive Definit…
This article proposes an approach to construct a Lyapunov function for a linear coupled impulsive system consisting of two time-invariant subsystems. In contrast to various variants of small-gain stability conditions for coupled systems,…
The principle of linearized stability is established for age-structured diffusive populations incorporating nonlinear death and birth processes. More precisely, asymptotic exponential stability is shown for equilibria for which the…
In this paper, We study the stability of solutions of fuzzy differential equations by Lyapunov's second method. By using scale equations and comparison principle for Lyapunov - like functions, we give some sufficient criterias for the…
We develop a generalized stability framework for stochastic discrete-time systems, where the generality pertains to the ways in which the distribution of the state energy can be characterized. We use tools from finance and operations…
We consider a class of nonlinear ordinary differential equations of the second order with parameters. We establish conditions for perturbations of the coefficients of the equation under which the zero solution is asymptotically stable.…
A novel data-driven method for formal verification is proposed to study complex systems operating in safety-critical domains. The proposed approach is able to formally verify discrete-time stochastic dynamical systems against temporal logic…
We investigate the formal synthesis of global polynomial Lyapunov functions for polynomial vector fields. We establish that a sign-definite polynomial must satisfy specific algebraic constraints, which we leverage to develop a set of…
The (non-initialized, non-deterministic) asynchronous systems (in the input-output sense) are multi-valued functions from m-dimensional signals to sets of n-dimensional signals, the concept being inspired by the modeling of the asynchronous…
In this work, we consider a class of dynamical systems described by ordinary differential equations under the assumption that the global asymptotic stability (GAS) of equilibrium points is established based on the Lyapunov stability theory…
Using the framework of metriplectic systems on $\R^n$ we will describe a constructive geometric method to add a dissipation term to a Hamilton-Poisson system such that any solution starting in a neighborhood of a nonlinear stable…
When neural networks are used to model dynamics, properties such as stability of the dynamics are generally not guaranteed. In contrast, there is a recent method for learning the dynamics of autonomous systems that guarantees global…
In this paper we continue our earlier investigations into the asymptotic behaviour of infinite systems of coupled differential equations. Under the mild assumption that the so-called characteristic function of our system is completely…
The stability of the recently discovered compacton solutions is studied by means of both linear stability analysis as well as Lyapunov stability criteria. From the results obtained it follows that, unlike solitons, all the allowed compacton…
In this paper we consider a nonlinear Petrovsky equation in a bounded domain with a delay term and a strong dissipation \begin{align*} u_{tt} + \Delta^{2} u -\mu_1g_1( \Delta( u_t(x,t))) -\mu_2g_2( \Delta (u_t(x,t-\tau))) =0. \end{align*}…
We consider the problem of global stability of solutions to a class of semilinear wave equations with null condition in Minkowski space. We give sufficient conditions on the given solution which guarantees stability. Our stability result…
This paper is devoted to studying three-dimensional non-commensurate fractional order differential equation systems with Caputo derivatives. Necessary and sufficient conditions are for the asymptotic stability of such systems are obtained.
This paper studies deterministic and stochastic fixed-time stability of autonomous nonlinear discrete-time (DT) systems. Lyapunov conditions are first presented under which the fixed-time stability of deterministic DT system is certified.…
We consider a functional semilinear Rayleigh-Stokes equation involving fractional derivative. Our aim is to analyze some circumstances, in those the global solvability and some results on asymptotic behavior of solutions take place. By…
This paper addresses the problem of risk-aware fixed-time stabilization of a class of uncertain, output-feedback nonlinear systems modeled via stochastic differential equations. First, novel classes of certificate functions, namely…
This paper is devoted to studying non-commensurate fractional order planar systems. Our contributions are to derive sufficient conditions for the global attractivity of non-trivial solutions to fractional-order inhomogeneous linear planar…