Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Neural Computing and Applications
Erschienen in: Neural Computing and Applications 5/2014

01.10.2014 | Original Article

Modeling and analysis of departure routine in air traffic control based on Petri nets

verfasst von: Ayesha Sadiq, Farooq Ahmad, Sher Afzal Khan, Jose C. Valverde, Tabbasum Naz, Muhammad Waqas Anwar

Erschienen in: Neural Computing and Applications | Ausgabe 5/2014

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Departure routine is essential part in the air traffic control and must be formally designed to avoid potential hazards and to verify proper functioning of the underlying processes. This paper addresses the Petri net approach to formally model the departure routine of the aircraft which ensures the organized flow of air traffic during departure. First, the high-level design of the system is presented by identifying key objects involved in departure routine, and then, its detailed model is presented. Moreover, the verification of the underlying methodology has been made using coverability tree. The proposed model is verified to be safe (bounded), potentially reversible and deadlock free which ensures reliability of the system and guarantees the efficient and controlled communication between the aircraft and local and ground controllers.
Vorheriger Artikel Biogeography-based optimisation with chaos
Nächster Artikel Adaptive near optimal neural control for a class of discrete-time chaotic system

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
1.
2.
3.
4.
Oberheid H, Söffker D (2008) Cooperative arrival management in air traffic control—a coloured Petri net model of sequence planning. In: Proceedings of the 29th international conference on applications and theory of Petri nets. Petri nets 2008, pp 348–367
5.
Hanh TTB, Hung DV (2007) Verification of an air traffic control system with probabilistic real time model-checking. UNU-IIST report
6.
7.
Hollnagel E (2009) The ETTO principle: efficiency-thoroughness trade-off—why things that go right sometimes go wrong. Ashgate, Farnham
8.
Stroeve SH, Everdij MHC, Blom HAP (2011) Studying hazards for resilience modeling in ATM. Mathematical Approach towards Resilience Engineering in ATM (MAREA) 2011; First SESAR Innovation Days: Ecole Nationale de l’Aviation Civile (ENAC). Toulouse, France
9.
Smieszek H (2012) Modeling behavior and performance of air traffic controllers using coloured petri nets. Technische Universität Berlin, Centre of Human-Machine Systems, Berlin
10.
Benediktsson O, Hunter RB, McGettrick AD (2001) Processes for software in safety critical systems. Software IEEE 6(1):47–62
11.
12.
Hossein N (2008) Modeling activities diagram to colored Petri net for validation and verification based on non functional parameters. Master thesis, Faculty of Computer Science and Information Systems, University Technology Malaysia
13.
Luciano Baresi B, Mauro P (2001) Improving UML with Petri nets. Electron Notes Theor Comput Sci 44(4):107–119CrossRef
14.
Ahmad F, Huang HJ, Wang XL (2011) Analysis of the Petri net model of parallel manufacturing processes with shared resources. Inf Sci 181:5249–5266CrossRef
15.
16.
Khan SA, Zafar NA, Ahmad F (2011) Petri net modeling of railway crossing system using fuzzy brakes. Int J Phys Sci 6(14):3389–3397
17.
Jing M, Lu W (2002) Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling. IEEE 3:3175–3180
18.
Lopez-Grao JP, Jose M, Javier C From UML activity diagrams to stochastic Petri nets: application to software performance engineering. In: Proceedings of the seventeenth international symposium on computer and information sciences. CRC Press, pp 25–36
19.
Ahmad F, Khan SA (2013) Specification and verification of safety properties along a crossing region in a railway network control. Appl Math Model 37(7):5162–5170CrossRef
20.
Ali G, Khan SA, Ahmad F, Zafar NA (2012) Visualized and abstract formal modeling towards the multi-agent systems. Int J Basic Appl Sci 2(8):8272–8284
21.
Ali G, Khan SA, Ahmad F, Zafar NA (2012) Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation. Indian J Sci Technol 5(7):2972–2977
22.
Khan SA, Zafar NA (2011) Extending promotion for the management of moving block interlocking components. Int J Phys Sci 6(31):7262–7270
23.
Khan SA, Zafar NA (2007) Promotion of local to global operation in train control system. J Digit Inf Manag 5(4):228–233
24.
Herencia-Zapana H, Hagen G, Neogi N (2012) A framework for probabilistic evaluation of interval management tolerence in the terminal radar control area. In: IEEE 2012 digital avionics systems conference (DASC), Oct 2012, pp 9E1-1–9E1-8
25.
Yousaf S, Zafar NA, Khan SA (2010) Formal analysis of departure procedure of air traffic control system. In: IEEE 2010 on software technology and engineering (ICSTE), Oct 2010, vol 2, pp 301–305
26.
Horl J, Aichernig BK (2008) Requirements validation of a voice communication system used in air traffic control. An industrial application of light weight formal methods. In. IEEE 208 symposium on reliable distributed systems, Oct 2008, pp 95–104
27.
Jamal M, Zafar NA (2007) Requirements analysis of air traffic control system using formal methods. J Indep Stud Res 5(2):1–7
28.
Butler RW, Maddalon J, Geser A, Muñoz CA (2003) Simulation and verification: formal analysis of air traffic management systems: the case of conflict resolution and recovery. In: Winter simulation conference, Dec 2003, pp 906–914
29.
Leadbeter D, Lindsay P, Hussey A, Neal A, Humphreys M (2000) Integrating the operator into formal models in the air traffic control domain. Technical report
30.
Horl J, Aichernig BK (1999) Formal specification of voice communication system used in air traffic control system. World congress on formal methods in the development of computing systems. Springer, 2
31.
Fung F, Damir J (1998) Formal specification of a flight guidance system. Technical report. NASA
32.
Smieszek H (2012) Modeling behavior and performance of air traffic controllers using coloured petri nets. Technische Universitäte Berlin, Centre of Human-Machine Systems, Berlin
33.
Smieszek H, Karl C (2013) An approach to cognitive simulation of air traffic controllers based on coloured petri nets.  Research Report: Technical University of Berlin, Germany
34.
Davidrajuh R, Lin B (2011) Exploring airport traffic capability using Petri net based model. Expert Syst Appl 38(9):10923–10931CrossRef
35.
Liu C, Zhang L (2010) Modeling and simulating on flight push-out conflicts based on colored Petri net. In: Control conference (CCC) 2010, July 2010, pp 5447–5452
36.
Sun S, Hua K (2009) An aircraft sequencing approach based on fuzzy Petri-net. In: International joint conference 2009 computational sciences and optimization, pp 1008–1011
37.
Oberheid H, Söffker D (2008) Cooperative arrival management in air traffic control—a coloured Petri net model of sequence planning. In: 29th IEEE 2008 applications and theory of Petri nets, Springer, pp 348–367
38.
Kovács Á, Németh E, Hangos KM (2005) Modeling and optimization of runway traffic flow using coloured Petri nets. In: IEEE 2005 control and automation, 2005, vol 2, pp 881–886
39.
Vismari LF, Camargo JB (2008) An absolute—relative risk assessment methodology approach to current safety critical systems and its application to the ADS-B based air traffic control system. In: ICRE 2008, Oct 2008, pp 95–104
40.
Everdij MHC, Blom HAP, Klompstra MB (1997) Dynamically coloured Petri nets for air traffic management safety purposes. In: 8th IFAC symposium on transportation systems 1997, New York
41.
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580CrossRef
42.
43.
44.
Pelayo FL, Valverde JC (2012) Notes on modeling dynamics of concurrent computing systems. Comput Math Appl 64:61–63MathSciNetCrossRef
45.
Metadaten
Titel
Modeling and analysis of departure routine in air traffic control based on Petri nets
verfasst von
Ayesha Sadiq
Farooq Ahmad
Sher Afzal Khan
Jose C. Valverde
Tabbasum Naz
Muhammad Waqas Anwar
Publikationsdatum
01.10.2014
Verlag
Springer London
Erschienen in
Neural Computing and Applications / Ausgabe 5/2014
Print ISSN: 0941-0643
Elektronische ISSN: 1433-3058
DOI
https://doi.org/10.1007/s00521-014-1590-4

Weitere Artikel der Ausgabe 5/2014

Neural Computing and Applications 5/2014 Zur Ausgabe

Original Article

ν-Nonparallel support vector machine for pattern classification

Original Article

Hybrid modelling for real-time prediction of the sulphur content during ladle furnace steel refining with embedding prior knowledge

Original Article

Robust IMC–PID tuning for cascade control systems with gain and phase margin specifications

Review

An overview on nonparallel hyperplane support vector machine algorithms

Original Article

Real-time brain extraction method from cerebral MRI volume based on graphic processing units

Original Article

Application of Markov chains on image enhancement