Formal methods for computing hyperbolic invariant sets for nonlinear systems
(2020) IEEE Control Systems Letters — Vol. 4, n° 1, p. 235-240 (2020)
Files
Formal_Methods_for_Computing_Hyperbolic_Invariant_Sets_for_Nonlinear_Systems.pdf
Open Access - Adobe PDF
- 677.34 KB
Details
- Authors
- 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 interesting properties like structural stability, ergodicity, transitivity, etc. In this letter, we describe a hybrid systems framework to compute invariant sets with a hyperbolic structure for a given dynamical system. The method relies on an abstraction (also known as symbolic image or bisimulation) of the state space of the system, and on path-complete ``Lyapunov-like'' techniques to compute the expanding and contracting directions for the derivative along the trajectories of the system. The method is illustrated on a numerical example: the Ikeda map for which an invariant set with hyperbolic structure is computed using the framework
- Affiliations
Citations
Berger, G., & Jungers, R. (2020). Formal methods for computing hyperbolic invariant sets for nonlinear systems. IEEE Control Systems Letters, 4(1), 235-240. https://doi.org/10.1109/LCSYS.2019.2923923 (Original work published 2020)