The concept of "stability" in asynchronous distributed decision-making systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 30, Issue 4, 2000, Pages 549-561

  Lee, Tony S ^a,b   Ghosh, Sumit ^a,c  

^a IEEE   (United States)

^b Vitria Technology   (United States)

^c Arizona State University   (United States)

Author keywords

Asynchronous distributed algorithms; Catastrophic failure; Complexity; Decision making; Instability; Performance; Reliability; Stability

Indexed keywords

ALGORITHMS; COMMAND AND CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; DECISION THEORY; LARGE SCALE SYSTEMS; MEASUREMENT ERRORS; PERTURBATION TECHNIQUES; RELIABILITY; SYSTEM STABILITY;

ASYNCHRONOUS DISTRIBUTED ALGORITHM; MARGINAL STABILITY; MESSAGE PASSING;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 0034245610     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.865172     Document Type: Article

References (30)

1. A. M. Lyapunov, The General Problem of the Stability of Motion, Translated by A.T. Fuller. New York: Taylor & Francis, 1992.
2. C.-T. Chen, Analog and Digital Control System Design: Transfer-Function, State-Space, and Algebraic Methods. Philadelphia, PA: Saunders, 1993.
3. A. M. Letov, Stability in Nonlinear Control Systems. Princeton, NJ: Princeton Univ. Press, 1961.
4. T. L. Casavant and J. G. Kuhl, "Effects of response and stability on scheduling in distributed computing systems," IEEE Trans. Softw. Eng., vol. 14, pp. 1578-1588, Nov. 1988.
5. E. W. Dijkstra, Texts and Monographs in Computer Science. New York: Springer-Verlag, 1982, pp. 41-46.
6. _, "Self-stabilizing systems in spite of distributed control," Commun. ACM, vol. 17, pp. 643-644, Nov. 1974.
7. D. Hoover and J. Poole, "Distributed self-stabilizing solution to the dining philosophers problem," Inform. Process. Lett., vol. 41, pp. 209-213, Mar. 1992.
8. S. Ghosh, "Binary self-stabilization in distributed systems," Inform. Process. Lett., vol. 40, pp. 153-159, Nov. 1991.
9. A. M. K. Cheng, "Self-stabilizing real-time rule-based systems," in Proc. 11th IEEE Symp. Reliable Distributed Systems, Houston, TX, Oct. 1992.
10. S.-T. Huang, L.-C. Wuu, and M.-S. Tsai, "Distributed execution model for self-stabilizing systems," in Proc. 1994 IEEE 14th Int. Conf. Distributed Computing Systems, Piscataway, NJ, 1994, pp. 432-439.
11. E. J. H. Chang, "On the costs of self-stabilization," Inform. Process. Lett., vol. 24, pp. 311-316, Mar. 1987.
12. B. Awerbuch and G. Varghese, "Distributed program checking: A paradigm for building self-stabilizing distributed protocols," in Proc. 32nd IEEE Annu. Symp. Foundations of Computer Science, Los Alamitos, CA, 1991, pp. 258-267.
13. K. M. Chandy and L. Lamport, "Distributed snapshots: Determining global states of distributed systems," ACM Trans. Comput. Syst., vol. 3, pp. 63-75, Feb. 1985.
14. S. Venkatesan and B. Dathan, "Testing and debugging distributed programs using global predicates," IEEE Trans. Softw. Eng., vol. 21, pp. 163-177, Feb. 1995.
15. V. K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs," Dept. Elect. Comput. Eng., Univ. Texas, Austin, 1991.
16. F. A. Schreiber, "Notes on real-time distributed database systems stability," in Proc. 5th Jerusalem Conf. Information Technology, Los Alamitos, CA, 1990, pp. 560-564.
17. J. A. Stankovic, "Stability and distributed scheduling algorithms," IEEE Trans. Softw. Eng., vol. SE-11, pp. 1141-1152, Oct. 1985.
18. J. F. Meyer, "Performability modeling of distributed real-time systems," in Mathematical Computer Performance and Reliability, G. Iazeolla, P. J. Courtois, and A. Hordijk, Eds. Amsterdam, The Netherlands: Elsevier, 1984, pp. 361-369.
19. P. Garg, S. Frolund, A. Shepherd, and N. Venkatasubramanian, "Toward distributed applications stability engineering," in Proc. 5th Calif. Softw. Symp., Irvine, CA, Mar. 1995, pp. 528-529.
20. "Private Network-Network Interface Specification Version 1.0 (PNNI 1.0)," ATM Forum, Available: www.atmforum.com/atm-forum/specs/approved.html, ATM Forum Technical Committee, Mar. 1996.
21. E. Debenedictis, S. Ghosh, and M.-L. Yu, "An asynchronous distributed discrete event simulation algorithm for cyclic circuits using data-flow network," IEEE Computer, vol. 24, pp. 21-33, June 1991.
22. P. C. Lee and S. Ghosh, "International payments processing in real-time: A distributed architecture," IEEE Comput. Sci. Eng. Mag., vol. 1, no. 3, pp. 65-79, 1994.
23. N. Utamaphethai and S. Ghosh, "DICAF, a high performance, distributed, scalable architecture for IVHS utilizing a continuous function -"Congestion measure," IEEE Computer, vol. 31, pp. 78-84, Mar. 1998.
24. R. V Iyer and S. Ghosh, "DARYN, a distributed decision-making algorithm for railway networks: Modeling and simulation," IEEE Trans. Veh. Technol., vol. 44, pp. 180-191, Feb. 1995.
25. T. Lee and S. Ghosh, "RYNSORD: A novel, decentralized algorithm for railway networks with 'soft reservation'," IEEE Trans. Veh. Technol., vol. 47, pp. 1350-1364, Nov. 1998.
26. T. Lee, S. Ghosh, J. Lu, X. Ge, A. Nerode, and W. Kohn, "A mathematical framework for asynchronous, decentralized, decision-making algorithms with semi-autonomous entities: Synthesis, simulation, and evaluation," in Proc. 4th Int. Symp. Autonomous Decentralized Systems, ISADS99, Tokyo, Japan, March 21-23, 1999, pp. 206-212.
27. S. Yamanouchi, "Essential information systems for railways and intensive application of ADS technology - COSMOS and ATOS," in Int. Symp. Autonomous Decentralized Systems, Tokyo, Japan, Oct. 1999, pp. 2-9.
28. D. Ferrari, Computer Systems Performance Evaluation. Englewood Cliffs, NJ: Prentice-Hall, 1978.
29. W. Kohn and A. Nerode, Multiple Agent Hybrid Control Architecture, in Hybrid Systems, Lecture Notes in Computer Science, R. L. Grossman, A. Nerode, A. Ravn, and H. Rischel, Eds, Berlin, Germany: Springer-Verlag, 1993.
30. W. Kohn, A. Nerode, and J. B. Remmel, "Hybrid Systems as Finsler Manifolds: Finite State Control as Approximations to Connections," Math. Sci. Inst, Cornell Univ., Ithaca, NY, Tech. Rep. 95-22, June 1995.