Related papers: Automatically Discovering Relaxed Lyapunov Functio…
We propose a methodology for the automatic verification of safety properties of controllers based on dynamical systems, such as those typically used in avionics. In particular, our focus is on proving stability properties of software…
Well balanced and free energy dissipative first- and second-order accurate finite volume schemes are proposed for a general class of hydrodynamic systems with linear and nonlinear damping. The natural Liapunov functional of the system,…
By computing Lyapunov functions of a certain, convenient structure, Lyapunov-based methods guarantee stability properties of the system or, when performing synthesis, of the relevant closed-loop or error dynamics. In doing so, they provide…
In the stability theory of dynamical systems, Lyapunov functions play a fundamental role. In this paper, we study the attractor-repeller pair decomposition and Morse decomposition for compact metric space in the random setting. In contrast…
This paper studies the uniformly asymptotic stability of nonautonomous systems on Riemannian manifolds. We establish corresponding Lyapunov-type theorems (Theorems 2.1 and 2.2), extending classical Euclidean results (e.g., [9, Theorems 4.9…
Lyapunov functions are essential tools in dynamical systems, as they allow the stability analysis of equilibrium points without the need to explicitly solve the system's equations. Despite their importance, no systematic method exists for…
In this work, we introduce DeepDFA, a novel approach to identifying Deterministic Finite Automata (DFAs) from traces, harnessing a differentiable yet discrete model. Inspired by both the probabilistic relaxation of DFAs and Recurrent Neural…
We present a new continuous Lyapunov Redesign (LR) methodology for the robust stabilization of a class of uncertain time-delay systems that is based on the so-called Super Twisting Algorithm. The main feature of the proposed approach is…
The lack of stability guarantee restricts the practical use of learning-based methods in core control problems in robotics. We develop new methods for learning neural control policies and neural Lyapunov critic functions in the model-free…
This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo…
Deep learning methods have been widely used in robotic applications, making learning-enabled control design for complex nonlinear systems a promising direction. Although deep reinforcement learning methods have demonstrated impressive…
We study the dynamical properties of a broad class of high-dimensional random dynamical systems exhibiting chaotic as well as fixed point and periodic attractors. We consider cases in which attractors can co-exists in some regions of the…
We present a method for determining the local stability of equilibrium points of conservative generalizations of the Lotka-Volterra equations. These generalizations incorporate both an arbitrary number of species -including odd-dimensional…
We investigate discret conditions for stability and asymptotic stability by Lyapunov and the point of equilibrium of autonomous system of differential equations.
Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach to finding polynomial Lyapunov functions. Our method relies…
This paper considers the stability problem of a linear time invariant system in feedback with a string equation. A new Lyapunov functional candidate is proposed based on the use of augmented states which enriches and encompasses the…
This paper deals with random dynamical systems of polynomial automorphisms (complex generalized H\'{e}non maps and their conjugate maps) of $\Bbb{C}^{2}.$ We show that a generic random dynamical system of polynomial automorphisms has ``mean…
We consider stability analysis of constrained switching linear systems in which the dynamics is unknown and whose switching signal is constrained by an automaton. We propose a data-driven Lyapunov framework for providing probabilistic…
We present Lyapunov stability and asymptotic stability theorems for steady state solutions of general state-dependent delay differential equations (DDEs) using Lyapunov-Razumikhin methods. Our results apply to DDEs with multiple discrete…
The main purpose of this work is to characterize the almost sure local structure stability of solutions to a class of linear stochastic partial functional differential equations (SPFDEs) by investigating the Lyapunov exponents and invariant…