Title :
On self-stabilizing systems: an approach to the specification and design of fault tolerant systems
Author :
Young, Stanley D. ; Garg, Vijay K.
Author_Institution :
Dept. of Electr. & Comput. Eng., Texas Univ., Austin, TX, USA
Abstract :
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
Keywords :
discrete time systems; formal languages; reliability; self-adjusting systems; stability; behavior specification; discrete event systems; fault tolerant systems; largest self-stabilizing subset; self-stabilizing systems; smallest self-stabilizing superset; transient faults; Computer science; Control systems; Control theory; Controllability; Discrete event systems; Fault tolerant systems; Law; Legal factors; Mathematics; Stability;
Conference_Titel :
Decision and Control, 1993., Proceedings of the 32nd IEEE Conference on
Conference_Location :
San Antonio, TX
Print_ISBN :
0-7803-1298-8
DOI :
10.1109/CDC.1993.325372
