Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination-Reference-Cited by-同舟云学术

Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination

Published:2021-01-29 Issue:2 Volume:2 Page:
ISSN:2662-995X
Container-title:SN Computer Science
language:en
Short-container-title:SN COMPUT. SCI.

Author:

Gerwien Maximilian,Voßwinkel Rick^ORCID,Richter Hendrik^ORCID

Abstract

AbstractThis paper adds to the discussion about theoretical aspects of particle swarm stability by proposing to employ stochastic Lyapunov functions and to determine the convergence set by quantifier elimination. We present a computational procedure and show that this approach leads to a reevaluation and extension of previously known stability regions for PSO using a Lyapunov approach under stagnation assumptions.

Funder

Projekt DEAL

Publisher

Springer Science and Business Media LLC

Link

http://link.springer.com/content/pdf/10.1007/s42979-021-00447-5.pdf

Reference59 articles.

1. Abraham E, Davenport J, England M, Kremer G, Tonks Z. New opportunities for the formal proof of computational real geometry? arXiv:2004.04034 2020.

2. Anai H, Yanami H. SyNRAC: A Maple-package for solving real algebraic constraints. In: Sloot PMA, Abramson D, Bogdanov AV, Dongarra JJ, Zomaya AY, Gorbachev YE, editors. Computational Science—ICCS 2003: International Conference, Melbourne, Australia and St, vol. 2657., Petersburg, Russia, June 2–4, 2003 Proceedings, Part I, LNCSBerlin, Heidelberg: Springer; 2003. p. 828–837.

3. Arnold L. Stochastic differential equations. New York: Springer; 1974.

4. Basu S, Pollack R, Roy MF. Algorithms in real algebraic geometry. 2nd ed. Berlin: Springer; 2006.

5. van der Berg F, Engelbrecht AP. A study of particle swarm optimization particle trajectories. Inf Sci. 2006;176:937–71.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysis and improvement of the binary particle swarm optimization;Annals of Operations Research;2024-07-01

2. Enhanced adaptive-convergence in Harris’ hawks optimization algorithm;Artificial Intelligence Review;2024-06-05

3. Analysis and Recognition of Sports Video in Physical Coaching Process Using Particle Swarm Optimization Algorithm;Mobile Information Systems;2022-05-04