Related papers: Forward completeness does not imply bounded reacha…
In this paper, we discuss delayed periodic dynamical systems, compare capability of criteria of global exponential stability in terms of various $L^{p}$ ($1\le p<\infty$) norms. A general approach to investigate global exponential stability…
This work deals with the stability analysis of nonlinear sampled-data systems under nonuniform sampling. It establishes novel relationships between the stability property of the exact discrete-time model for a given sequence of (aperiodic)…
This paper proposes several definitions of robust stability for logic dynamical systems (LDSs) with uncertain switching, including robust/uniform robust set stability and asymptotical (or infinitely convergent)/finite-time set stability…
This paper proposes a unified approach for studying global exponential stability of a general class of switched systems described by time-varying nonlinear functional differential equations. Some new delay-independent criteria of global…
We study delay-independent stability in nonlinear models with a distributed delay which have a positive equilibrium. Such models frequently occur in population dynamics and other applications. In particular, we construct a relevant…
Suitable continuity and boundedness assumptions on the function f defining the dynamics of a time-varying nonimpulsive system with inputs are known to make the system inherit stability properties from the zero-input system. Whether this…
Our recent interest is focused on establishing the necessary and sufficient conditions that guarantee a long-term stable evolution of both natural and artificial systems. Two necessary conditions, called global and local boundedness, are…
Randomly-assembled dynamical systems are theoretically predicted to be unstable upon crossing a critical threshold of complexity, as first shown by May. Yet, empirical complex systems exhibit remarkable stability, indicating the presence of…
Predictor-based stabilization results are provided for nonlinear systems with input delays and a compact absorbing set. The control scheme consists of an inter-sample predictor, a global observer, an approximate predictor, and a nominal…
In this paper, we investigate the global exponential stability for complex-valued recurrent neural networks with asynchronous time delays by decomposing complex-valued networks to real and imaginary parts and construct an equivalent…
A class of polynomial dynamical systems called complex-balanced are locally stable and conjectured to be globally stable. In general, complex-balancing is not a robust property, i.e., small changes in parameter values may result in the loss…
In this paper, we'll show the robustness of global stability for perturbed dissipative dynamical systems.
Lyapunov-like characterizations for non-uniform in time and uniform robust global asymptotic stability of uncertain systems described by retarded functional differential equations are provided.
Linear systems governed by continuous-time difference equations cover a wide class of linear systems. From the Lyapunov-Krasovskii approach, we investigate stability for such a class of systems. Sufficient conditions, and in some particular…
For nonlinear systems that are known to be globally asymptotically stabilizable, control over networks introduces a major challenge because of the asynchrony in the transmission schedule. Maintaining global asymptotic stabilization in…
In this manuscript, we investigate a fractional stochastic neutral differential equation with time delay, which includes both deterministic and stochastic components. Our primary objective is to rigorously prove the existence of a unique…
Discrete-time models of non-uniformly sampled nonlinear systems under zero-order hold relate the next state sample to the current state sample, (constant) input value, and sampling interval. The exact discrete-time model, that is, the…
In this paper, we consider the asymptotic stability for a system of linear delay differential equations. By analysing of the characteristic equation in detail, we have established the necessary and sufficient condition for the asymptotic…
Verification of discrete time or continuous time dynamical systems over the reals is known to be undecidable. It is however known that undecidability does not hold for various classes of systems: if robustness is defined as the fact that…
This paper introduces robust differential dynamic logic (a fragment of differential dynamic logic) to specify and reason about robust hybrid systems. Practically meaningful syntactic restrictions naturally ensure that definable properties…