[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 …

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 …

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 …

[HTML][HTML] The spatial patterns through diffusion-driven instability in a predator–prey model

LN Guin, M Haque, PK Mandal - Applied Mathematical Modelling, 2012 - Elsevier
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 …

[HTML][HTML] Effect of prey refuge on spatiotemporal dynamics of the reaction–diffusion system

LN Guin, PK Mandal - Computers & Mathematics with Applications, 2014 - Elsevier
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 …

Spatial pattern in a diffusive predator–prey model with sigmoid ratio-dependent functional response

LN Guin, PK Mandal - International Journal of Biomathematics, 2014 - World Scientific
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 …

[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 …

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 …

[PDF][PDF] Algorithmic verification of approximations to complete Lyapunov functions

J Björnsson, P Giesl, S Hafstein - Proceedings of the 21st …, 2014 - researchgate.net
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 …

[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 …