1 code implementation • 5 Feb 2020 • Maximilian Gerwien, Rick Voßwinkel, Hendrik Richter
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.