Solving the Aircraft Sequencing Problem Using Concurrent Constraint Programming
In this paper we describe an application that solves the problem of aircraft sequencing in airports using a single runway. In this problem, the air traffic controller must compute a landing (take off) time for each plane in the horizon or airport. The cost is associated with the difference between the plane preferred time (for landing or taking off) and the time assigned to it. There is also a minimum separation time between planes that must be respected to avoid accidents. We have implemented an application using Mozart with finite domain constraints, GUIs to interact with the user, and a propagator with a simple, but very helpful operation to cut domains. The basis of the application is the engine that implements the model of the problem; it is easily extensible through the implementation of new distributors. This paper shows how the powerful features of Mozart could be exploited to implement practical applications.
KeywordsSearch Tree Prefer Time Distribution Strategy Target Time Strong Propagation
Unable to display preview. Download preview PDF.
- 1.Baptiste, P., Le Pape, C., Nuijten, W.: Incorporating efficient operations research algorithms in constraint-based scheduling. In: 1st International Joint Workshop on Artificial Intelligence and Operations Research, Timberline Lodge, Oregon (1995)Google Scholar
- 2.Beasley, J.E.: Or-library: distributing problems by electronic mail. Journal of the Operations Research Society 41, 1069–1072 (1990)Google Scholar
- 5.Jung, G., Laguna, M.: Time segmentation heuristic for an aircraft landing problem, March 6 (2003)Google Scholar
- 6.Krishnamoorthy, M., Ernst, A.T.: Scheduling aircraft landings optimally. In: Proceedings of the 41st Annual Symposium of AGIFORS, Sydney, Australia, August 27 –September 1 (2001)Google Scholar
- 7.Mullings, J.: Trails of destruction. New Scientist (1996)Google Scholar
- 8.Silva, D., Mills, G., Abela, J., Krishnamoorthy, K.: Computing optimal schedules for landing aircraft, October 19 (1995)Google Scholar
- 9.Trani, A.A., Martinez, J., Baik, H., Kamat, V.: A new paradigm to model aircraft operations at airports: The virginia tech airport simulation model (vtasim). In: NEXTOR Research Symposium, November 13 (2000)Google Scholar
- 10.van Leeuwen, P., Hesselink, H., Rohling, J.: Scheduling aircraft using constraint satisfaction. In: Electronic Notes in Theoretical Computer Science, vol. 76. Elsevier, Amsterdam (2002)Google Scholar
- 11.Van Roy, P., Haridi, S.: Mozart: A programming system for agent applications. In: International Workshop on Distributed and Internet Programming with Logic and Constraint Languages, Part of International Conference on Logic Programming (ICLP 1999) (November 1999)Google Scholar