Related papers: Does the smooth planar dynamical system with one a…
We propose a novel framework for the Lyapunov analysis of an important class of hybrid systems, inspired by the theory of symbolic dynamics and earlier results on the restricted class of switched systems. This new framework allows us to…
This paper is concerned with the Lyapunov spectrum for measurable cocycles over an ergodic pmp system taking values in semi-simple real Lie groups. We prove simplicity of the Lyapunov spectrum and its continuity under certain perturbations…
In this article, we introduce Lyapunov-type results to investigate the stability of the trivial solution of a Stieltjes dynamical system. We utilize prolongation results to establish the global existence of the maximal solution. Using…
The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems,…
Invariance and stability are essential notions in dynamical systems study, and thus it is of great interest to learn a dynamics model with a stable invariant set. However, existing methods can only handle the stability of an equilibrium. In…
Koopman operator-based methods enable data-driven bilinear representations of unknown nonlinear control systems. Accurate representations often demand significantly higher dimensions than the original system, making control design…
Learning for control of dynamical systems with formal guarantees remains a challenging task. This paper proposes a learning framework to simultaneously stabilize an unknown nonlinear system with a neural controller and learn a neural…
This paper deals with the stability analysis problem of discrete-time switched linear systems with ranged dwell time. A novel concept called L-switching-cycle is proposed, which contains sequences of multiple activation cycles satisfying…
We show that a wide class of uncoupled limit cycle oscillators can be in-phase synchronized by common weak additive noise. An expression of the Lyapunov exponent is analytically derived to study the stability of the noise-driven…
We present a stability analysis framework for the general class of discrete-time linear switching systems for which the switching sequences belong to a regular language. They admit arbitrary switching systems as special cases. Using recent…
This paper presents a framework for the study of convergence when the nodes' dynamics may be both piecewise smooth and/or nonidentical across the network. Specifically, we derive sufficient conditions for global convergence of all node…
In this article we consider the motion of two bodies under the action of a Manev central force. We obtain the radius of the circular orbit and analyze its stability in sense of Lyapunov. Drawn on the first integrals of angular momentum and…
We consider a population with two equal dominated species, dynamics of which is defined by one-dimensional piecewise-continuous, two parametric functions. It is shown that for any non-zero parameters this function has two fixed points and…
Hybrid dynamical systems exhibit a diverse array of stability phenomena, each currently addressed by separate Lyapunov-like results. We show that these results are all instances of a single theorem: a Lyapunov function is a morphism from a…
For the $\mathfrak{so}(4)$ free rigid body the stability problem for the isolated equilibria has been completely solved using Lie-theoretical and topological arguments. For each case of nonlinear stability previously found we construct a…
Dynamics arising persistently in smooth dynamical systems ranges from regular dynamics (periodic, quasiperiodic) to strongly chaotic dynamics (Anosov, uniformly hyperbolic, nonuniformly hyperbolic modelled by Young towers). The latter…
Empirically defining some constant probabilistic orbits of f(x) and g(x) iterated high-order functions, the stability of these functions in possible entangled interaction dynamics of the environment through its orbit's connectivity (open…
For a general time-varying system, we prove that existence of an "Output Robust Control Lyapunov Function" implies existence of continuous time-varying feedback stabilizer, which guarantees output asymptotic stability with respect to the…
We study limit cycles in piecewise complex systems with switching manifold $\mathbb{S}^1$. Using M\"obius transformations we establish an equivalence between circular and straight-line discontinuities that preserves periods, stability, and…
In the present paper we give a positive answer to some questions posed by Viana on the existence of positive Lyapunov exponents for Hamiltonian linear differential systems. We prove that there exists an open and dense set of Hamiltonian…