Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Afterword: from this revolution to the next
Smart machines in education
Formal approach to railway applications
Formal methods and hybrid real-time systems
| Hi-index | 0.00 |
The Union Pacific Railroad (UPRR) has over 31,000 miles of track covering a 24 state region. Planning and scheduling the production, packaging, delivery, and pickup of rail, involved in the maintenance of this network, is a very complex task. Manually scheduling only a subset of the resources required has historically taken several days to accomplish. Moreover, the inability to fully schedule all resources can lead to inefficient resource utilization. This paper describes the Rail Train Scheduler (RTS), designed and developed to capture the expertise of the UPRR scheduler, generate production schedules of all the resources involved, and provide a decision support tool for determining the best mix of resources required. RTS is an expert system that uses constraint satisfaction and domain specific heuristics to produce good, low cost schedules. It has been deployed since January, 1996. UPRR anticipates a savings of about $500,000 per year from the use of RTS.