| Preface |
|
vii | |
|
Fundamental Issues in Transportation Systems |
|
|
1 | (8) |
|
Principal Characteristics of Intelligent Transportation Systems |
|
|
2 | (5) |
|
Scientific Validation of ITS Designs through Modeling and Simulation |
|
|
7 | (2) |
|
DARYN: A Distributed Decision-Making Algorithm for Railway Networks |
|
|
9 | (24) |
|
|
|
9 | (3) |
|
|
|
12 | (7) |
|
|
|
12 | (3) |
|
Proof of Freedom from Deadlock |
|
|
15 | (1) |
|
Modeling DARYN on a Loosely-Coupled Parallel Processor |
|
|
16 | (3) |
|
Implementation of DARYN on ARMSTRONG |
|
|
19 | (5) |
|
|
|
24 | (9) |
|
|
|
29 | (4) |
|
RYNSORD: A Novel, Decentralized Algorithm for Railway Networks with Soft Reservation |
|
|
33 | (34) |
|
|
|
33 | (1) |
|
|
|
34 | (7) |
|
Modeling RYNSORD on an Accurate, Realistic, Parallel Processing Testbed |
|
|
41 | (8) |
|
|
|
49 | (2) |
|
Simulation Data and Performance Analysis |
|
|
51 | (16) |
|
DICAF: A Distributed, Scalable Architecture for IVHS |
|
|
67 | (44) |
|
|
|
67 | (7) |
|
DICAF: A Novel, Distributed and Scalable Approach to IVHS |
|
|
74 | (7) |
|
Modeling DICAF on an Accurate, Realistic, Parallel Processing Testbed |
|
|
81 | (6) |
|
Implementation and Debugging Issues |
|
|
87 | (1) |
|
Simulation Results and Performance Analysis of DICAF |
|
|
88 | (23) |
|
Stability of RYNSORD Under Perturbations |
|
|
111 | (24) |
|
|
|
111 | (3) |
|
Formal Definition of Stability of RYNSORD |
|
|
114 | (2) |
|
Modeling RYNSORD for Stability Analysis |
|
|
116 | (1) |
|
|
|
117 | (1) |
|
Stability Analysis of RYNSORD |
|
|
117 | (18) |
|
Error Criteria for Stability Analysis |
|
|
117 | (2) |
|
|
|
119 | (1) |
|
Perturbations to the Input Rate and Stability Analysis |
|
|
120 | (2) |
|
Perturbations to System Characteristics and Stability Analysis |
|
|
122 | (2) |
|
Perturbations to Inter-station and Train-to-station Communications |
|
|
124 | (7) |
|
Perturbations Relative to the Track Segments |
|
|
131 | (4) |
|
Modeling and Simulation Techniques for ITS Designs |
|
|
135 | (22) |
|
|
|
135 | (1) |
|
Virtual and Physical Process Migration Strategies for ITS Designs |
|
|
136 | (4) |
|
Virtual Process Migration Strategy |
|
|
137 | (2) |
|
Physical Process Migration Strategy |
|
|
139 | (1) |
|
Software Techniques Underlying the Process Migration Strategies |
|
|
140 | (8) |
|
Software Techniques Underlying VPM |
|
|
141 | (4) |
|
Software Techniques Underlying PPM |
|
|
145 | (3) |
|
|
|
148 | (1) |
|
Simulation Results and Performance Analysis |
|
|
149 | (8) |
|
Future Issues in Intelligent Transportation Systems |
|
|
157 | (2) |
|
Description of the RYNSORD Simulator on CD-ROM and Scope of Experiments |
|
|
159 | (8) |
|
|
|
159 | (1) |
|
|
|
160 | (1) |
|
|
|
161 | (4) |
|
|
|
161 | (1) |
|
|
|
162 | (1) |
|
|
|
162 | (1) |
|
|
|
163 | (1) |
|
|
|
164 | (1) |
|
How you know it is working |
|
|
164 | (1) |
|
|
|
164 | (1) |
|
Track and Communication Failures |
|
|
164 | (1) |
|
|
|
165 | (2) |
| Bibliography |
|
167 | (8) |
| Index |
|
175 | |