Categories and Subject Descriptors: F.2.2 [Analysis of Algorithms and Problem Complexity]: Nonnumerical Algorithms and Problems -- computations on discrete structures, sequencing and scheduling; F.4.3 [Mathematical Logic and Formal Languages]: Formal Languages -- algebraic language theory, classes defined by grammars or automata; G.2.2 [Discrete Mathematics]: Graph Theory -- graph algorithms; G.4 [Mathematical Software] -- algorithm analysis, reliability and robustness; H.2.8 [Database Management]: Database Applications; J.7 [Computers in Other Systems] -- command and control, process control
General Terms: Algorithms, Design, Languages, Reliability, Theory
Additional Key Words and Phrases: Reliability, self-stabilizing systems, stability, stabilizability, state feedback