Related papers: Stability in affine logic
The sunflower equation describes the motion of the tip of a plant due to the auxin transportation under the influence of gravity. This work proposes the fractional-order generalization to this delay differential equation. The equation…
We show that recently reported precessing solution of Landau-Lifshitz-Gilbert equations in ferromagnetic nanowires is stable under small perturbations of initial data, applied field and anisotropy constant. Linear stability is established…
Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…
The theory of linear dispersive equations predicts that waves should spread out and disperse over time. However, it is a remarkable phenomenon, observed both in theory and practice, that once nonlinear effects are taken into account,…
In this paper, first, it is shown that if a nonlinear time-varying system is contractive, then it is incrementally exponentially stable. Second, leveraging this result, under mild restrictions, an approach is proposed to design feedforward…
Classical conditions for ensuring the robust stability of a linear system in feedback with a sector-bounded nonlinearity include small gain, circle, passivity, and conicity theorems. In this work, we present a similar stability condition,…
In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to…
Type-free systems of logic are designed to consistently handle significant instances of self-reference. Some consistent type-free systems also have the feature of allowing the sort of general abstraction or comprehension principle that…
We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…
We prove stability results for nonlinear diffusion equations of the porous medium and fast diffusion types with respect to the nonlinearity power $m$: solutions with fixed data converge in a suitable sense to the solution of the limit…
We study the recently introduced notion of output-input stability, which is a robust variant of the minimum-phase property for general smooth nonlinear control systems. The subject of this paper is developing the theory of output-input…
In this work, we show that Latent Flow-Matching (LFM) models are robust to different types of perturbations, including data reduction and model capacity shrinkage. We characterize this stability by their tendency to generate similar outputs…
We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to…
We develop continuous first order logic, a variant of the logic described in \cite{Chang-Keisler:ContinuousModelTheory}. We show that this logic has the same power of expression as the framework of open Hausdorff cats, and as such extends…
In this paper, we introduce the notions of motivic representation stability that is an algebraic counterpart of the notion of representation stability. In the process, we also introduce the notion of motivic decomposition for varieties…
We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…
The existence of instabilities, for example in the form of adversarial examples, has given rise to a highly active area of research concerning itself with understanding and enhancing the stability of neural networks. We focus on a popular…
Lyapunov's theorem provides a fundamental characterization of the stability of dynamical systems. This paper presents a categorical framework for Lyapunov theory, generalizing stability analysis with Lyapunov functions categorically. Core…
Stability and causality are studied for linear perturbations about equilibrium in Carter's multifluid theory. Our stability analysis is grounded on the requirement that the entropy of the multifluid, plus that of the environment, must be…
The purpose of this paper is to give a sufficient condition for (strong) stability of non-proper smooth functions (with respect to the Whitney $C^\infty$-topology). We show that a Morse function is stable if it is end-trivial at any point…