Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincare maps

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, infinite time. However, proving self-stabilization...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Dhama, A., Oehlerking, J., Theel, O.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Application software Communication system control Computer science Distributed algorithms Fault tolerance Feedback control Hybrid Systems Law Legal factors Lyapunov method Lyapunov Theory Poincar´e maps Self-Stabilization Switches Verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!