Related papers: Forward completeness implies bounded reachable set…
This paper deals with the finite-time stabilization of a class of nonlinear infinite-dimensional systems. First, we consider a bounded matched perturbation in its linear form. It is shown that by using a set-valued function, both the…
This paper extends the $l$-complete approximation method developed for time invariant systems to a larger system class, ensuring that the resulting approximation can be realized by a finite state machine. To derive the new abstraction…
An overview of stability conditions in terms of the Lyapunov matrix for time-delay systems is presented. The main results and proof are presented in details for the case of systems with multiple delays. The state of the art, ongoing…
We present a method to overapproximate forward stochastic reach sets of discrete-time, stochastic nonlinear systems with interval geometry. This is made possible by extending the theory of mixed-monotone systems to incorporate stochastic…
Spontaneous synchronization has long served as a paradigm for behavioral uniformity that can emerge from interactions in complex systems. When the interacting entities are identical and their coupling patterns are also identical, the…
We show that the existence of a non-coercive Lyapunov function is sufficient for uniform global asymptotic stability (UGAS) of infinite-dimensional systems with external disturbances provided the speed of decay is measured in terms of the…
We study approximation of non-autonomous linear differential equations with variable delay over infinite intervals. We use piecewise constant argument to obtain a corresponding discrete difference equation. The study of numerical…
We introduce a fairly general concept of functional equation for $k$-tuples of functions $f_1,\dots,f_k\colon X \to Y$ between arbitrary sets. The homomorphy equations for mappings between groups and other algebraic systems, as well as…
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)…
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…
It is known that, if a point in $R^n$ is driven by a bounded below potential $V$, whose gradient is always in a closed convex cone which contains no lines, then the velocity has a finite limit as time goes to $+\infty$. The components of…
In quantum mechanics students are taught to practice that eigenfunction of a physical bound state must be continuous and vanishing asymptotically so that it is normalizable in $x\in (-\infty, \infty)$. Here we caution that such states may…
Solving the ground state and the ground-state properties of quantum many-body systems is generically a hard task for classical algorithms. For a family of Hamiltonians defined on an $m$-dimensional space of physical parameters, the ground…
We show that the robust forward completeness for distributed parameter systems is equivalent to the existence of a corresponding Lyapunov function that increases at most exponentially along the trajectories.
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…
We show that including degrees of a particular kind of provability in the search target for any theorem-prover in sufficiently powerful formal systems over finite-sized statements preserves well-definition and a sufficient consistency while…
This paper studies finite-time stability and instability theorems in probability sense for stochastic nonlinear systems. Firstly, a new sufficient condition is proposed to guarantee that the considered system has a global solution.…
Asymptotic hyperstability is achievable under certain switching laws if at least one of the feed-forward parameterization: 1) possesses a strictly positive real transfer function, 2) a minimum residence time interval is respected for each…
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…
We give a sufficient condition for exponential stability of a network of lossless telegrapher's equations, coupled by linear time-varying boundary conditions. The sufficient conditions is in terms of dissipativity of the couplings, which is…