The Community for Technology Leaders
Parallel and Distributed Systems, International Conference on (2006)
Minneapolis, Minnesota
July 12, 2006 to July 15, 2006
ISSN: 1521-9097
ISBN: 0-7695-2612-8
pp: 23-30
Oliver Theel , Carl von Ossietzky University of Oldenburg. Germany
Abhishek Dhama , Carl von Ossietzky University of Oldenburg. Germany
Jens Oehlerking , Carl von Ossietzky University of Oldenburg. Germany
ABSTRACT
Self-stabilization is a novel method for achieving fault tolerance in distributed applications. A self-stabilizing algorithm will reach a legal set of states, regardless of the starting state or states adopted due to the effects of transient faults, in finite time. However, proving self-stabilization is a difficult task. In this paper, we present a method for showing self-stabilization of a class of non-silent distributed algorithms, namely orbitally self-stabilizing algorithms. An algorithm of this class is modeled as a hybrid feedback control system. We then employ the control theoretic methods of Poincar?e maps and Lyapunov functions to show convergence to an orbit cycle.
INDEX TERMS
Fault Tolerance, Self-Stabilization, Verification, Hybrid Systems, Lyapunov Theory, Poincar?e maps
CITATION
Oliver Theel, Abhishek Dhama, Jens Oehlerking, "Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps", Parallel and Distributed Systems, International Conference on, vol. 01, no. , pp. 23-30, 2006, doi:10.1109/ICPADS.2006.108
78 ms
(Ver 3.3 (11022016))