Convergence analysis of particle swarm optimization using stochastic Lyapunov functions and quantifier elimination.
Maximilian GerwienRick VoßwinkelHendrik RichterPublished in: CoRR (2020)
Keyphrases
- convergence analysis
- quantifier elimination
- particle swarm optimization
- global convergence
- constraint propagation
- pso algorithm
- convergence speed
- swarm intelligence
- optimality conditions
- functional programming
- constraint databases
- convergence rate
- cardinality constraints
- multi objective
- particle swarm optimization algorithm
- first order logic
- approximation methods
- machine learning
- global optimization
- convex optimization
- neural network
- differential evolution
- global optimum