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