Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.

Abhishek Dhama, Jens Oehlerking, Oliver E. Theel

Browse the full ICPADS paper archive.