An exercise in proving convergence through transfer functions

Self-stabilizing algorithms must fulfill two requirements generally called closure and convergence. We are interested in the convergence property and discuss a new method for proving it. Usually proving the convergence of self-stabilizing algorithms requires a well foundedness argument: briefly spok...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Theel, O., Gartner, F.C.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Algorithm design and analysis Circuit stability Computer science Control theory Convergence Ear Law Legal factors Stability criteria Transfer functions
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!