Self-Stabilizing Real-Time Decision Systems

We examine the task of constructing self-stabilizing real-time decision systems, which take their input from an external environment, and present a series of results concerning compilers which force the property of self-stabilization onto such systems. We consider compilers that do and do not preserve termination applied to finite state and infinite state programs.

[1]  P. Boas.  Machine models and simulations , 1991 .

[2]  Richard M. Karp,et al.  Parallel Algorithms for Shared-Memory Machines , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[3]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[4]  David S. Johnson,et al.  A Catalog of Complexity Classes , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[5]  Albert M Cheng.  Analysis and Synthesis of Real-Time Rule-Based Decision Systems , 1991 .

[6]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[7]  Marco Schneider,et al.  Self-stabilization , 1993, CSUR.

[8]  Edsger W. Dijkstra.  EWD391 Self-stabilization in spite of distributed control , 1973 .

[9]  B. Awerbuch,et al.  Distributed program checking: a paradigm for building self-stabilizing distributed protocols , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[10]  Shmuel Katz,et al.  Self-stabilizing extensions for message-passing systems , 1990, PODC '90.

[11]  Peter van Emde Boas,et al.  Machine Models and Simulation , 1990, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

[12]  Joseph W. Goodman,et al.  On the power of neural networks for solving hard problems , 1990, J. Complex..

[13]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[14]  Daniel P. Miranker,et al.  Bounded-time fault-tolerant rule-based systems , 1990 .

[15]  Albert Mo Kim Cheng.  Self-stabilizing real-time rule-based systems , 1992, [1992] Proceedings 11th Symposium on Reliable Distributed Systems.