Algebraic Stability Analysis of Particle Swarm Optimization Using Stochastic Lyapunov Functions and Quantifier Elimination.
Maximilian GerwienRick VoßwinkelHendrik RichterPublished in: SN Comput. Sci. (2021)
Keyphrases
- stability analysis
- quantifier elimination
- particle swarm optimization
- nonlinear systems
- pso algorithm
- first order logic
- constraint propagation
- fault tolerant control
- multi objective
- constraint databases
- cardinality constraints
- particle swarm optimization pso
- swarm intelligence
- functional programming
- convergence speed
- fuzzy systems
- differential evolution
- input output
- neural network
- ant colony optimization
- programming language
- knowledge representation
- artificial intelligence