Transformational approach to transportation scheduling

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.<<ETX>>

[1]  Norman Sadeh,et al.  Look-ahead techniques for micro-opportunistic job shop scheduling , 1992 .

[2]  William J. Cook,et al.  A Computational Study of the Job-Shop Scheduling Problem , 1991, INFORMS Journal on Computing.

[3]  Douglas R. Smith,et al.  KIDS - A Knowledge-Based Software Development System , 1991 .

[4]  Jeff Rothenberg,et al.  A Review of Strategic Mobility Models and Analysis , 1991 .

[5]  Stephen F. Smith,et al.  ISIS—a knowledge‐based system for factory scheduling , 1984 .

[6]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988, Wiley interscience series in discrete mathematics and optimization.

[7]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[8]  Peter B. Ladkin,et al.  Specification of time dependencies and synthesis of concurrent processes , 1987, ICSE '87.

[9]  Eric W. Biefeld,et al.  Operations mission planner , 1990 .

[10]  Allen Goldberg,et al.  DTRE - A Semi-Automatic Transformation System , 1991 .

[11]  Rodney J. Douglas.  KIDS: A Semi-Automatic Program Development System , 1990 .

[12]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[13]  Norman M. Sadeh,et al.  Constrained Heuristic Search , 1989, IJCAI.

[14]  Douglas R. Smith,et al.  KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..

[15]  Stephen F. Smith.  The OPIS framework for modeling manufacturing systems , 1989 .

[16]  Stephen F. Smith,et al.  Constructing and Maintaining Detailed Production Plans: Investigations into the Development of Knowledge-Based Factory Scheduling Systems , 1986, AI Mag..

[17]  Laurence A. Wolsey,et al.  Integer and Combinatorial Optimization , 1988 .

[18]  Douglas R. Smith,et al.  Top-Down Synthesis of Divide-and-Conquer Algorithms , 1985, Artif. Intell..