Related papers: What ODE-Approximation Schemes of Time-Delay Syste…
Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous stochastic logics. It can be computed by numerically solving…
For a dynamical system, it is known that the existence of a Lyapunov-type density function, called Lyapunov density or Rantzer's density function, implies convergence of Lebesgue almost all solutions to an equilibrium. Using the duality…
We propose a numerical method for computing the Lyapunov exponents of renewal equations (delay equations of Volterra type), consisting first in applying a discrete QR technique to the associated evolution family suitably posed on a Hilbert…
The solution of systems of non-autonomous linear ordinary differential equations is crucial in a variety of applications, such us nuclear magnetic resonance spectroscopy. A new method with spectral accuracy has been recently introduced in…
We are interested in the numerical solution of coupled nonlinear partial differential equations (PDEs) in two and three dimensions. Under certain assumptions on the domain, we take advantage of the Kronecker structure arising in standard…
Backstepping is a mature and powerful Lyapunov-based design approach for a specific set of systems. Throughout the development over three decades, innovative theories and practices have extended backstepping to stabilization and tracking…
The paper studies numerical methods that preserve a Lyapunov function of a dynamical system, i.e. numerical approximations whose energy decreases, just like in the original differential equation. With this aim, a discrete gradient method is…
Discontinuities and delayed terms are encountered in the governing equations of a large class of problems ranging from physics and engineering to medicine and economics. These systems cannot be properly modelled and simulated with standard…
Impulse-to-peak response (I2P) analysis for state-space ordinary differential equation (ODE) systems is a well-studied classical problem. However, the techniques employed for I2P optimal control of ODEs have not been extended to partial…
This paper studies the numerical methods to approximate the solutions for a sort of McKean-Vlasov neutral stochastic differential delay equations (MV-NSDDEs) that the growth of the drift coefficients is super-linear. First, We obtain that…
We consider stochastic algorithms derived from methods for solving deterministic optimization problems, especially comparison-based algorithms derived from stochastic approximation algorithms with a constant step-size. We develop a…
In this paper we show that the existence of a Lyapunov-Krasovskii functional is necessary and sufficient condition for the uniform global asymptotic stability and the global exponential stability of time-invariant systems described by…
A scheme for stabilizing stochastic approximation iterates by adaptively scaling the step sizes is proposed and analyzed. This scheme leads to the same limiting differential equation as the original scheme and therefore has the same…
This paper studies the contraction property of time-varying differential-algebraic equation (DAE) systems by embedding them to higher-dimension ordinary differential equation (ODE) systems. The first result pertains to the equivalence of…
We extend the taming techniques for explicit Euler approximations of stochastic differential equations (SDEs) driven by L\'evy noise with super-linearly growing drift coefficients. Strong convergence results are presented for the case of…
We present a kernel-based methodology for constructing Lyapunov functions for nonlinear dynamical systems using approximate Koopman eigenfunctions. Our approach decomposes principal Koopman eigenfunctions into linear and nonlinear…
We consider several models of State Dependent Delay Differential Equations (SDDEs), in which the delay is affected by a small parameter. This is a very singular perturbation since the nature of the equation changes. Under some conditions,…
We describe methods of estimating the entire Lyapunov spectrum of a spatially extended system from multivariate time-series observations. Provided that the coupling in the system is short range, the Jacobian has a banded structure and can…
This work focuses on the existence of quasi-periodic solutions for ordinary and delay differential equations (ODEs and DDEs for short) with an elliptic-type degenerate equilibrium point under quasi-periodic perturbations. We prove that…
We present substantially generalized and improved quantum algorithms over prior work for inhomogeneous linear and nonlinear ordinary differential equations (ODE). Specifically, we show how the norm of the matrix exponential characterizes…