Self stabilization

S Dolev - Journal of Aerospace Computing, Information, and …, 2004 - arc.aiaa.org
AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-
shuttles, and satellites. A self-stabilizing system recovers automatically following …

[BOOK][B] Algorithms and theory of computation handbook, volume 2: special topics and techniques

MJ Atallah, M Blanton - 2009 - books.google.com
This handbook provides an up-to-date compendium of fundamental computer science
topics, techniques, and applications. Along with updating and revising many of the existing …

[PDF][PDF] Superstabilizing protocols for dynamic distributed systems

S Dolev, T Herman - Proceedings of the fourteenth annual ACM …, 1995 - dl.acm.org
This work defines the class of supemtabihzing protocols. A protocol is supe~ stabilizingif it is
(z) self-stabilizing, meaning that it is guaranteed to respond to an arbitrary transient fault by …

[BOOK][B] Introduction to distributed self-stabilizing algorithms

K Altisen, S Devismes, S Dubois, F Petit - 2022 - books.google.com
This book aims at being a comprehensive and pedagogical introduction to the concept of
self-stabilization, introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization …

The local detection paradigm and its applications to self-stabilization

Y Afek, S Kutten, M Yung - Theoretical Computer Science, 1997 - Elsevier
A new paradigm for the design of self-stabilizing distributed algorithms, called local
detection, is introduced. The essence of the paradigm is in defining a local condition based …

[PDF][PDF] Self-stabilizing unidirectional network algorithms by power-supply

Y Afek, A Bremler - SODA, 1997 - researchgate.net
Power-supply, a surprisingly simple and new general paradigm for the development of self-
stabilizing algorithms in di erent models, is introduced. The paradigm is exempli ed by …

Local stabilizer

Y Afek, S Dolev - Journal of Parallel and Distributed Computing, 2002 - Elsevier
A local stabilizer protocol that takes any on-or off-line distributed algorithm and converts it
into a synchronous self-stabilizing algorithm with local monitoring and repairing properties is …

[PDF][PDF] Self-stabilization by counter flushing

G Varghese - Proceedings of the thirteenth annual ACM symposium …, 1994 - dl.acm.org
Self-stabilization by counter flushing Page 1 Self-stabilization lx Counter Flushing ., George l~arghese
Dept. of Computer Science Washington University in St. 1.ouis St. Louis, h10 63130 Abstract …

Self-stabilizing end-to-end communication in (bounded capacity, omitting, duplicating and non-fifo) dynamic networks

S Dolev, A Hanemann, EM Schiller… - Stabilization, Safety, and …, 2012 - Springer
End-to-end communication over the network layer (or data link in overlay networks) is one of
the most important communication tasks in every communication network, including legacy …

Stabilizing data-link over non-FIFO channels with optimal fault-resilience

S Dolev, S Dubois, M Potop-Butucaru… - Information Processing …, 2011 - Elsevier
Self-stabilizing systems have the ability to converge to a correct behavior when started in
any configuration. Most of the work done so far in the self-stabilization area assumed either …