[HTML][HTML] Review on computational methods for Lyapunov functions
P Giesl, S Hafstein - Discrete and Continuous Dynamical Systems …, 2015 - aimsciences.org
Lyapunov functions are an essential tool in the stability analysis of dynamical systems, both
in theory and applications. They provide sufficient conditions for the stability of equilibria or …
in theory and applications. They provide sufficient conditions for the stability of equilibria or …
Learning non-linear multivariate dynamics of motion in robotic manipulators
E Gribovskaya, SM Khansari-Zadeh… - … International Journal of …, 2011 - journals.sagepub.com
Motion imitation requires reproduction of a dynamical signature of a movement, ie a robot
should be able to encode and reproduce a particular path together with a specific velocity …
should be able to encode and reproduce a particular path together with a specific velocity …
Existence of spatial patterns in a predator–prey model with self-and cross-diffusion
LN Guin - Applied Mathematics and Computation, 2014 - Elsevier
In this work, we investigate the spatiotemporal dynamics of reaction–diffusion equations
subject to cross-diffusion in the frame of a two-dimensional ratio-dependent predator–prey …
subject to cross-diffusion in the frame of a two-dimensional ratio-dependent predator–prey …
[HTML][HTML] The spatial patterns through diffusion-driven instability in a predator–prey model
Studies on stability mechanism and bifurcation analysis of a system of interacting
populations by the combined effect of self and cross-diffusion become an important issue in …
populations by the combined effect of self and cross-diffusion become an important issue in …
[HTML][HTML] Effect of prey refuge on spatiotemporal dynamics of the reaction–diffusion system
The present investigation deals with the problem of a two-dimensional diffusive predator–
prey model incorporating prey refuge. In this investigation, we determine the Turing space in …
prey model incorporating prey refuge. In this investigation, we determine the Turing space in …
Spatial pattern in a diffusive predator–prey model with sigmoid ratio-dependent functional response
In this paper, spatial patterns of a diffusive predator–prey model with sigmoid (Holling type
III) ratio-dependent functional response which concerns the influence of logistic population …
III) ratio-dependent functional response which concerns the influence of logistic population …
[PDF][PDF] Nonlinear Singular Switched Systems in Discrete-Time: Solution Theory and Incremental Stability Under Restricted Switching Signals
HY Sutrisno, S Trenn… - 2023 62nd IEEE …, 2023 - stephantrenn.net
In this article the solvability analysis of discretetime nonlinear singular switched systems with
restricted switching signals is studied. We provide necessary and sufficient conditions for the …
restricted switching signals is studied. We provide necessary and sufficient conditions for the …
Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
J Liu, N Zhan, H Zhao - Mathematics in Computer Science, 2012 - Springer
The notion of Lyapunov function plays a key role in the design and verification of dynamical
systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the …
systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the …
[PDF][PDF] Algorithmic verification of approximations to complete Lyapunov functions
In [3] Conley showed that the state-space of a dynamical system can be decomposed into a
gradient-like part and a chain-recurrent part, and that this decomposition is characterized by …
gradient-like part and a chain-recurrent part, and that this decomposition is characterized by …
[HTML][HTML] Quasi-interpolation for linear functional data
W Gao, Z Wu - Journal of Computational and Applied Mathematics, 2012 - Elsevier
Quasi-interpolation has been studied extensively in the literature. However, most studies of
quasi-interpolation are usually only for discrete function values (or a finite linear combination …
quasi-interpolation are usually only for discrete function values (or a finite linear combination …