On self-stabilizing systems: an approach to the specification and design of fault tolerant systems
Si-Sheng Young, Vijay K. Garg · 2002
A self-stabilizing system is one which can recover from transient faults in a finite number of steps. The authors present a theory for determining if a behavior specification can be satisfied with a self-stabilizing system. If not, then what the largest self-stabilizing subset and smallest self-stabilizing superset of the specification is. The effects of self-stabilizing behavior on the control of discrete event systems is also investigated.>