Finding positively invariant sets of a class of nonlinear loops via curve fitting

DOI10.1145/1577190.1577218zbMath1356.68147OpenAlexW2077163014WikidataQ57533642 ScholiaQ57533642MaRDI QIDQ2959033

No author found.

Publication date: 3 February 2017

Published in: Proceedings of the 2009 conference on Symbolic numeric computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1577190.1577218

zbMATH Keywords

Hénon mapcurve fittingprogram verificationpositively invariant sets

Mathematics Subject Classification ID

Numerical smoothing, curve fitting (65D10) Specification and verification (program logics, model checking, etc.) (68Q60) Strange attractors, chaotic dynamics of systems with hyperbolic behavior (37D45)

Related Items (1)

Discovering non-terminating inputs for multi-path polynomial programs

This page was built for publication: Finding positively invariant sets of a class of nonlinear loops via curve fitting