SOTAVerified

Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination

2020-02-05Code Available0· sign in to hype

Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

This 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 reevaluation and extension of previously know stability regions for PSO using a Lyapunov approach under stagnation assumptions.

Reproductions