Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes

Werther, Bernd; Moehlenbrink, Christoph; Rudolph, Michael C.

doi:10.1007/978-3-540-73321-8_115

Cited by 16 publications

(5 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Petri nets were originally developed to describe concurrent computer systems. However, a Petri net is a mathematical formalism which can also be used effectively in other fields, also to model traffic processes (31)(32)(33)(34)(35)(36)(37)(38)(39)(40)(41) . Additionally, the use of the CPN Tools 4.0 package (42) , which is equipped with a convenient simulation mechanism that allows one to observe the dynamics of the traffic process, makes it possible to perform a large number of experiments, some of which will be presented in Section 3.0.…”

Section: Landing Model For Evaluating the Scheduling Processmentioning

confidence: 99%

Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets

Skorupski

Florowski

2016

Aeronaut. j.

View full text Add to dashboard Cite

One of the important tasks that air traffic management services are faced with today is the task of maximising airport capacity. This can be achieved at the tactical level through proper organisation of air traffic around an airport. In recent years, many methods and algorithms for scheduling aircraft landings have been developed; they take into account various optimisation goals. The aim of this paper was to create a method that would allow one to evaluate landing aircraft sequences resulting from these control algorithms, especially in the presence of random disturbances. This method involves modelling the landing aircraft sequence by using Petri nets. The model and the computer tool that have been developed make it possible to take into account different kinds of disturbances and examine the effectiveness of various control strategies under these conditions. This paper presents two experiments that test disturbances with different characteristics and of different intensities. It has been shown that small but more frequent disturbances lead to the worsening of evaluation scores for a given sequence to a lesser extent than rare but larger disturbances. This is particularly important for control algorithms in which the focus is on high aircraft density. If the type of particular disturbances is properly assessed, then it will be possible to assist the decision-maker (air traffic controller) by providing him/her with quantitative evaluations of possible solutions.

show abstract

Section: Landing Model For Evaluating the Scheduling Processmentioning

confidence: 99%

Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets

Skorupski

Florowski

2016

Aeronaut. j.

View full text Add to dashboard Cite

show abstract

“…A block diagram of the underlying software structure of the interaction and process models is depicted in Figure 7. It is realized by Colored Petri nets (using CPN tools) like for FairControl [21]. As depicted in Figure 8 RemoteCenter contains two screens.…”

Section: Remote Center Microworld Simulationmentioning

confidence: 99%

“…The initial idea of the petri net based decision model [15] was to allow formal data-analysis to represent the environmental constraints of the airport and the constraints given by the human operator within one model. The tower controller model (TEC) [21] can be described as a human agent (controller) that controls the airport traffic of FAirControl via an interaction system [9,14,22]. The petri net based model was extended by the GUI FAirControl, representing an artificial birds view of a simplified small airport and a user interface.…”

Section: Remote Center Microworld Simulationmentioning

confidence: 99%

Remote airport traffic control center with augmented vision video panorama

Schmidt

Rudolph

Papenfus

et al. 2009

2009 IEEE/AIAA 28th Digital Avionics Systems Conference

View full text Add to dashboard Cite

Research is described for realizing a Remote Airport Traffic Control Center (DLR project RAiCe) for remote surveillance and control of several small airports from a central location. Work and task analyses performed in a previous project resulted in the concept of a high resolution video panorama system with zoom and augmented vision functions as controllers main HMI in the Remote Tower Center (RTC). Video-see-through augmentation of the reconstructed outside view by means of superimposed flight information and data from electronic non-visual sources is supposed to improve the controllers situational awareness. The augmented vision function allows for a compact RTO-work environment due to its potential for reduction of displays.A corresponding 180°-video panorama system was set up as experimental testbed at Braunschweig research airport which served for initial field testing. It consists of four digital high resolution CCD cameras located near Braunschweig tower, and a remotely controlled pan-tilt zoom (PTZ) camera (including automatic tracking option) with PC clusters for compression, image processing / movement detection, decompression and panorama reconstruction, and a 450 m fiberoptic Gbit Ethernet link between sensor and display clusters. Field testing of the reconstructed far view with participation of local controllers shows an effective visual resolution of < 2 arcmin in agreement with the theoretical predictions. The PTZ camera provides a "foveal" vision with a high resolution exceeding the human eye (1 arcmin) within an observation angle < 15°.In addition to the experimental testbed simulation systems for two-airport control are under development for support of the RTC work environment design, based on a 200°-tower-simulator with RTO-console extension and a simplified twoairport microworld computer simulation for laboratory type part task simulations.

show abstract

“…All these models use colored Petri nets CPNs which is essentially a closed system. [5], [6], [7], [8] V. DYNAMIC MODELLING -POWERSIM In view of the fact that the model number 3, Airport Economic, represents a typical system comprising items of dynamic complexity, the whole system will be solved by application of the Powersim Studio 2005. A similar problem was solved in Powersim Studio in our institute in the past years.…”

Section: Analysis Of the Model Passengermentioning

confidence: 99%

Airport effectiveness modelling

Letavkova

Matušková

Vančura

2014

Proceedings of the 2014 15th International Carpathian Control Conference (ICCC)

View full text Add to dashboard Cite

The paper has concentrated on model possibilities as regards check-in concourse capacities of an airport. It takes into account especially the airport capacity effectiveness and the staff labour productivity. This type of modelling is fully applicable to practice and specific needs of any regional airport. The model core is built on the queuing theory that has been supplemented by economic indicators. The dynamic model principles with the Powersim Studio implementations are dealt with by the paper.

show abstract

Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes

Cited by 16 publications

References 6 publications

Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets

Method for evaluating the landing aircraft sequence under disturbed conditions with the use of Petri nets

Remote airport traffic control center with augmented vision video panorama

Airport effectiveness modelling

Contact Info

Product

Resources

About