Related papers: Robust non-computability of dynamical systems and …
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…
Stable matchings have been studied extensively in social choice literature. The focus has been mostly on integral matchings, in which the nodes on the two sides are wholly matched. A fractional matching, which is a convex combination of…
Let $(X,d)$ be a compact metric space and $f:X \to X$ be a self-map. The compact dynamical system $(X,f)$ is called sensitive or sensitivity depends on initial conditions, if there is a positive constant $\delta$ such that in each non-empty…
Motivated by questions in biology, we investigate the stability of equilibria of the dynamical system $\mathbf{x}^{\prime}=P(t)\nabla f(x)$ which arise as critical points of $f$, under the assumption that $P(t)$ is positive semi-definite.…
In magnetic systems with dominating easy-plane anisotropy the magnetization can be described by an effective one dimensional equation for the in-plane angle. Re-deriving this equation in the presence of spin-transfer torques, we obtain a…
This paper delves into the problem of computing robust controlled invariants for monotone continuous-time systems, with a specific focus on lower-closed specifications. We consider the classes of state monotone (SM) and control-state…
We explore how to build a vector field from the various functions involved in a given mathematical program, and show that locally-stable equilibria of the underlying dynamical system are precisely the local solutions of the optimization…
Under a regularity assumption we prove that reachability in fixed time for nonlinear control systems is robust under control sampling.
Fourier matrices naturally appear in many applications and their stability is closely tied to performance guarantees of algorithms. The starting point of this article is a result that characterizes properties of an exponential system on a…
The aim of this paper is to investigate the response of this system/scheme in terms of stability in presence of explicitly treated residual terms, as it inevitably occurs in the reality of NWP. This sudy is restricted to the impact of…
This article is devoted to the stabilization of two underactuated planar systems, the well-known straight beam-and-ball system and an original circular beam-and-ball system. The feedback control for each system is designed, using the Jordan…
Neural networks achieve outstanding accuracy in classification and regression tasks. However, understanding their behavior still remains an open challenge that requires questions to be addressed on the robustness, explainability and…
Computation, if treated as a set of physical processes that act on information represented by states of matter, encompasses biological systems, digital systems, and other constructs, and may be a fundamental measure of living systems. The…
Analyzing and certifying stability and attractivity of nonlinear systems is a topic of research interest that has been extensively investigated by control theorists and engineers for many years. Despite that, accurately estimating domains…
We consider the issue of computability at the most fundamental level of physical reality: the Planck scale. To this aim, we consider the theoretical model of a quantum computer on a non commutative space background, which is a computational…
This paper considers the problem of robust stability for a class of uncertain nonlinear quantum systems subject to unknown perturbations in the system Hamiltonian. The case of a nominal linear quantum system is considered with non-quadratic…
We attempt to characterize irreversibility of a dynamical system from the existence of different forward and backward mathematical representations depending on the direction of the time arrow. Such different representations have been…
Efficient computability is an important property of solution concepts in matching markets. We consider the computational complexity of finding and verifying various solution concepts in trading networks-multi-sided matching markets with…
We study the behaviour of discrete dynamical systems generated by a continuous map $f$ of a compact real interval into itself where at randomly chosen times a function different from $f$ - so called impulse function is applied. We show that…
We present criteria for statistical stability of attracting sets for vector fields using dynamical conditions on the corresponding generated flows. These conditions are easily verified for all singular-hyperbolic attracting sets of $C^2$…