Stabilization and pseudo-stabilization

Authors:
James E. Burns;Mohamed G. Gouda;Raymond E. Miller
Affiliations:
Georgia Institute of Technology;Department of Computer Sciences, University of Texas at Austin, Austin, TX;University of Maryland at College Park
Venue:
Distributed Computing - Special issue: Self-stabilization
Year:
1993

Citing 10
Cited 15

Data and computer communications

Data and computer communications
The mutual exclusion problem: partII—statement and solutions

Journal of the ACM (JACM)
A Class of Inherently Fault Tolerant Distributed Programs

IEEE Transactions on Software Engineering
Uniform self-stabilizing rings

ACM Transactions on Programming Languages and Systems (TOPLAS)
Token Systems That Self-Stabilize

IEEE Transactions on Computers
The instability of self-stabilization

Acta Informatica
Stabilizing Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Convergence/Response Tradeoffs in Concurrent Systems

Convergence/Response Tradeoffs in Concurrent Systems
Toward a theory for self-stabilizing protocols

Toward a theory for self-stabilizing protocols

Universal dynamic synchronous self-stabilization

Distributed Computing
Asynchronous Phase Synchronization in Uniform Unidirectional Rings

IEEE Transactions on Parallel and Distributed Systems
Hello again: Stabilization of the Hello protocol in OSPF

Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
State space abstraction for parameterized self-stabilizing embedded systems

EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Stabilizing leader election in partial synchronous systems with crash failures

Journal of Parallel and Distributed Computing
Best paper: stabilizing clock synchronization for wireless sensor networks

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Bounding the impact of unbounded attacks in stabilization

SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Time-efficient self-stabilizing algorithms through hierarchical structures

SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Robust stabilizing leader election

SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Self-stabilizing algorithms

Algorithms and theory of computation handbook
Strategies for repeated games with subsystem takeovers implementable by deterministic and self-stabilising automata

International Journal of Autonomous and Adaptive Communications Systems
Stabilizing data-link over non-FIFO channels with optimal fault-resilience

Information Processing Letters
Output stability versus time till output

DISC'07 Proceedings of the 21st international conference on Distributed Computing
Ideal stabilisation

International Journal of Grid and Utility Computing
Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks

Journal of Parallel and Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

A stabilizing system is one which if started at any state is guaranteed to reach a state after which the system cannot deviate from its intended specification. In this paper, we propose a new variation of this notion, called pseudo-stabilization. A pseudo-stabilizing system is one which if started at any state is guaranteed to reach a state after which the system does not deviate from its intended specification. Thus, the difference between the two notions comes down to the difference between "cannot" and "does not" - a difference that hardly matters in many practical situations. As it happens, a number of well-known systems, for example the alternating-bit protocol, are pseudo-stabilizing but not stabilizing. We conclude that one should not try to make any such system stabilizing, especially if stabilization comes at a high price.