Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Control Systems Letters"
DOI: 10.1145/3302504.3313350
Abstract: Hyperbolicity is a cornerstone of nonlinear dynamical systems theory. Hyperbolic dynamics are characterized by the presence of expanding and contracting directions for the derivative along the trajectories of the system. Hyperbolic dynamical systems enjoy many… read more here.
Keywords: system; methods computing; formal methods; hyperbolic invariant ... See more keywords
Gevrey-smoothness of lower dimensional hyperbolic invariant tori for nearly integrable symplectic mappings
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Inequalities and Applications"
DOI: 10.1186/s13660-017-1307-1
Abstract: This paper provides a normal form for a class of lower dimensional hyperbolic invariant tori of nearly integrable symplectic mappings with generating functions. We prove the persistence and the Gevrey-smoothness of the invariant tori under… read more here.
Keywords: nearly integrable; dimensional hyperbolic; tori nearly; lower dimensional ... See more keywords