Using TLA+ to Specify Leader Election of Raft Algorithm with Consideration of Leadership Transfer in Multiple Controllers.
Yu GaoHua LiYuanping LiBowei LiuXianrong WangHongwei RuanPublished in: QRS Companion (2019)
Keyphrases
- learning algorithm
- detection algorithm
- simulated annealing
- dynamic programming
- improved algorithm
- times faster
- computational cost
- computational complexity
- selection algorithm
- optimization algorithm
- k means
- significant improvement
- objective function
- cost function
- experimental evaluation
- worst case
- machine learning
- classification algorithm
- preprocessing
- np hard
- knn
- motion estimation
- probabilistic model
- linear programming
- computationally efficient
- search space
- multi agent
- matching algorithm
- multi objective
- special case
- evolutionary algorithm