Abstract
A Coloured Petri Net model implemented in CPN Tools is presented which simulates a potential future arrival planning process in air traffic control. The planning process includes a cooperation between airborne and ground side in which the aircraft involved provide information e.g. with regard to their estimated earliest and latest times of arrival at the airport. This information is then used by a planning system on the ground to establish a favorable sequence in which aircraft will be led to the runway. The model has been built in order to acquire a better understanding of how the behavior of individual actors (i.e. aircraft) within the cooperation influences the outcome of the overall sequence planning process. A peculiarity of the CP-net from a modeling point of view lies in the fact that state space analysis is used repeatedly during each cycle of the planning process to generate and evaluate the potential solutions to the sequence planning problem. The results gained through queries on the state space are then re-fed into the simulation and analysis for the next planning cycle. The results from the model will in future be used to build realistic scenarios and assumptions on how different actors will interact with the system from a human factors point of view.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Fairclough, I.: Phare Advanced Tools Arrival Manager Final Report. Technical report, Eurocontrol, European Organisation for Safety of Air Navigation (1999)
Zielinsky, T.: Erkennung und Lösung von Konflikten bei Anflug-Trajektorien. Technical report, German Aerospace Center (DLR) (2003)
Büchner, U., Czerlitzki, B., Hansen, H., Helmke, H., Pahner, S., Pfeil, A., Schnell, M., Schnieder, H., Theis, P., Uebbing-Rumke, M.: KOPIM-AIRCRAFT - Entwicklungsstatus von boden- und bordseitigen Systemen und von operationellen ATM-Verfahren und Konzepten für ein kooperatives ATM. Technical report, German Aerospace Center (DLR), Airbus Deutschland GmbH, TU Darmstadt (2005)
Korn, B., Helmke, H., Kuenz, A.: 4D Trajectory Managment in the Extended TMA: Coupling AMAN and 4D FMS for Optimized Approach Trajectories. In: ICAS 2006 - 25th International Congress of the Aeronautical Sciences, Hamburg, Germany (2006)
Butler, R., Carreno, V., Di Vito, B., Hayhurst, K., Holloway, C., Miner, P., Munoz, C., Geser, A., Gottliebsen, H.: NASA Langley’s Research and Technology-Transfer Program in Formal Methods. Technical report, NASA Langley (2002)
Butler, R., Geser, A., Maddalon, J., Munoz, C.: Formal Analysis of Air Traffic Management Systems: The Case of Conflict Resolution and Recovery. In: Winter Simulation Conference (WSC 2003), New Orleans (2003)
Munoz, C., Dowek, G., Carreno, V.: Modelling and Verification of an Air Traffic Concept of Operations. In: International Symposium on Software Testing and Analysis, Boston, Massachusetts, pp. 175–182 (2004)
Degani, A., Heymann, M.: Formal Verification of Human-Automation Interaction. Human Factors 44(1), 28–43 (2002)
Carreno, V., Munoz, C.: Formal Analysis of Parallel Landing Scenarios. In: Digital Avionics System Conferences, Philadelphia, USA, vol. 1, pp. 175–182 (2000)
Werther, B., Moehlenbrink, C., Rudolph, M.: Coloured Petri Net based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes. In: Duffy, V.G. (ed.) HCII 2007 and DHM 2007. LNCS, vol. 4561. Springer, Heidelberg (2007)
Kovacs, A., Nemeth, E., Hangos, K.: Modeling and Optimization of Runway Traffic Flow Using Coloured Petri Nets. In: International Conference on Control and Automation (ICCA), Budapest, Hungary, vol. 2, pp. 881–886 (2005)
Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. Software Tools for Technology Transfer (STTT) 9(3-4), 213–254 (2007)
Oberheid, H., Gamrad, D., Söffker, D.: Closed Loop State Space Analysis and Simulation for Cognitive Systems. In: 8th International Conference on Application of Concurrency to System Design (submitted, 2008)
Günther, T., Fricke, H.: Potential of Speed Control on Flight Efficiency. In: ICRAT - Second International Conference on Research in Air Transportation, pp. 197–201 (2006)
Günther, T.: Validierung der Interdependenzen eines Systems zur Ankunftszeitoptimierung von Flugzeugen in Ergänzung zu einem Arrival Management an einem Verkehrsflughafen. Diploma thesis, Technical University Dresden (2004)
AT&T-Research: GraphViz Manual (2006), http://www.graphviz.org/Documentation.php
Schwarz, D.: Anflugsequenzplanung mit dem A* Algorithmus zur Beschleunigung der Sequenzsuche. Technical Report 112-2005/02, German Aerospace Center (DLR) (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Oberheid, H., Söffker, D. (2008). Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. In: van Hee, K.M., Valk, R. (eds) Applications and Theory of Petri Nets. PETRI NETS 2008. Lecture Notes in Computer Science, vol 5062. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68746-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-68746-7_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68745-0
Online ISBN: 978-3-540-68746-7
eBook Packages: Computer ScienceComputer Science (R0)