Stability of RYNSORD-a decentralized algorithm for railway networks under perturbations

RYNSORD, a novel, decentralized algorithm with soft reservation for efficient scheduling and congestion mitigation in railway networks, has been introduced in the literature. It is a specific instance of the asynchronous distributed decision-making (ADDM) class of systems, a fundamental property of which is stability. Stability refers to their behavior under representative perturbations to their environments, given that ADDM systems are intended to be real, complex, and, to some extent, mission critical systems, and are subject to unexpected changes in their operating conditions. This paper introduces an intuitive definition of stability for RYNSORD, that reflects those used in control systems and physics, and presents an in-depth stability analysis of RYNSORD. The analysis utilizes three types of stability-strongly stable, marginally stable, and unstable. The perturbations are classified as either changes in the input pattern or changes in one or more characteristics of the system, such as hardware failures. The study utilizes a large-scale simulation of a subset of the eastern United States railroad network. Trains are initiated at stochastically generated times at each of the stations and are bound for randomly selected destinations. In the study, first a steady-state operating point is identified. Second, the system is perturbed by increasing the rate of trains inserted into the system temporarily, i.e., for a finite interval. Third, an examination of whether and when the system returns to the previous steady-state, yields the results of stability analysis. Performance results indicate that while RYNSORD is strongly stable with respect to input traffic rate perturbations of finite durations, it is marginally stable to unstable under permanent track segment and communications link failures, reflecting a balanced assessment of the strengths and weaknesses of RYNSORD.

[1]  John A. Stankovic Stability and Distributed Scheduling Algorithms , 1985, IEEE Trans. Software Eng..

[2]  S. Ghosh,et al.  RYNSORD: a novel decentralized algorithm for railway networks with "soft reservation" , 1998 .

[3]  S. Lefschetz Stability of nonlinear control systems , 1966 .

[4]  A. M. Lyapunov The general problem of the stability of motion , 1992 .

[5]  John F. Meyer,et al.  Performability Modeling of Distributed Real-Time Systems , 1983, Computer Performance and Reliability.

[6]  Domenico Ferrari,et al.  Computer Systems Performance Evaluation , 1978 .

[7]  Vijay K. Garg,et al.  Detection of Strong Unstable Predicates in Distributed Programs , 1996, IEEE Trans. Parallel Distributed Syst..

[8]  S. Ghosh,et al.  RYNSORD: a novel, decentralized algorithm for railway networks with "soft reservation" , 1998, VTC '98. 48th IEEE Vehicular Technology Conference. Pathway to Global Wireless Revolution (Cat. No.98CH36151).

[9]  Fabio A. Schreiber,et al.  Notes on real-time distributed database systems stability , 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.

[10]  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.

[11]  Edsger W. Dijkstra,et al.  Self stabilization in spite of distributed control , 1974 .

[12]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[13]  S. Venkatesan,et al.  Testing and Debugging Distributed Programs Using Global Predicates , 1995, IEEE Trans. Software Eng..

[14]  Chi-Tsong Chen,et al.  Analog and Digital Control System Design: Transfer-Function, State-Space, and Algebraic Methods , 1993 .

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

[16]  Thomas L. Casavant,et al.  Effects of Response and Stability on Scheduling in Distributed Computing Systems , 1988, IEEE Trans. Software Eng..