多项式系统界的自动生成及其在 Lorenz 系统中的应用
符号计算
2018-08-01 v2 动力系统
混沌动力学
摘要
本研究涵盖一种计算动力系统正不变集的分析方法。利用 Lyapunov 技术和量词消去方法，提出一种自动确定状态空间中作为吸引子包络的边界的过程。现有软件工具使得通常需对系统动力学有良好洞察与经验的流程可实现算法化。结果我们得到吸引子的估计，其保守性仅源于 Lyapunov 候选函数的初始选择。所提方法在著名的 Lorenz 系统上予以说明。
引用
@article{arxiv.1712.08228,
title = {Automatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System},
author = {Klaus Röbenack and Rick Voßwinkel and Hendrik Richter},
journal= {arXiv preprint arXiv:1712.08228},
year = {2018}
}