Transformational approach to transportation scheduling
- 30 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 27 (10683062) , 60-68
- https://doi.org/10.1109/kbse.1993.341197
Abstract
The authors have used KIDS (Kestrel Interactive Development System) to derive extremely fast and accurate transportation schedulers from formal specifications. As test data, strategic transportation plans which are generated by US government planners are used. In one such problem, the derived scheduler was able to schedule 15,460 individual movement requirements in 71 cpu seconds. The computed schedules use relatively few resources and satisfy all specified constraints. The speed of this scheduler derives from the synthesis of strong problem-specific constraint checking and constraint propagation code.<>Keywords
This publication has 7 references indexed in Scilit:
- A Computational Study of the Job-Shop Scheduling ProblemINFORMS Journal on Computing, 1991
- Algorithm theories and design tacticsScience of Computer Programming, 1990
- KIDS: a semiautomatic program development systemIEEE Transactions on Software Engineering, 1990
- Integer and Combinatorial OptimizationPublished by Wiley ,1988
- Top-down synthesis of divide-and-conquer algorithmsArtificial Intelligence, 1985
- ISIS—a knowledge‐based system for factory schedulingExpert Systems, 1984
- Maintaining knowledge about temporal intervalsCommunications of the ACM, 1983