@inproceedings{bb54634e09a74d359578395118b3d9e7,
title = "Finding positively invariant sets of a class of nonlinear loops via curve fitting",
abstract = "In this paper, we study positively invariant sets of a class of nonlinear loops and discuss the relation between these sets and the attractors of the loops. For the canonical H{\'e}non map, a numerical method based on curve fitting is proposed to find a positively invariant set containing the strange attractor. This work can be generalized to find inequality termination conditions for loops with nonlinear assignments",
keywords = "Curve fitting, H{\'e}non map, Positively invariant sets, Program verification",
author = "Liyong Shen and Min Wu and Zhengfeng Yang and Zhenbing Zeng",
year = "2009",
doi = "10.1145/1577190.1577218",
language = "英语",
isbn = "9781605586649",
series = "Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009",
pages = "185--190",
booktitle = "Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009",
note = "2009 Conference on Symbolic Numeric Computation, SNC 2009 ; Conference date: 03-08-2009 Through 05-08-2009",
}