Synthesizing self-stabilization through superposition and backtracking
Document Type
Article
Publication Date
2014
Department
Department of Computer Science
Abstract
While the design of self-stabilization is known to be a hard problem, several sound (but incomplete) heuristics exist for algorithmic design of self-stabilization. This paper presents a sound and complete method for algorithmic design of self-stabilizing network protocols. The essence of the proposed approach is based on variable superposition and backtracking search. We have validated the proposed method by creating both a sequential and a parallel implementation in the context of a software tool, called Protocon. Moreover, we have used Protocon to automatically design self-stabilizing protocols for the problems that all existing heuristics fail to solve.
Publication Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISBN
978-3-319-11764-5
Recommended Citation
Klinkhamer, A.,
&
Ebnenasir, A.
(2014).
Synthesizing self-stabilization through superposition and backtracking.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
8756, 252-267.
http://doi.org/10.1007/978-3-319-11764-5_18
Retrieved from: https://digitalcommons.mtu.edu/michigantech-p/4078