A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times

Abstract

The traffic alert and collision avoidance system (TCAS) currently mandated worldwide on all commercial transport aircraft is intended to provide last-minute collision avoidance (CA) guidance directly to the flight crew and has been shown to significantly reduce the risk of near-midair collisions. The TCAS logic uses a deterministic model to predict the future trajectories of the aircraft and does not explicitly represent variability in pilot response time which can have a great impact on the execution of the CA logic. Prior work has designed an encounter model to identify all the induced potential collision scenarios that are representative of possible hazardous situations that may occur with a fixed configuration of aircraft in the surrounding airspace. This paper extends the encounter model using an agent-based modeling approach developed via the colored Petri net (CPN) formalism to include the agent pilot response time that captures the variability delay in pilot behavior in order to analyze its influence on TCAS-induced collisions. Quantitative simulation results are conducted to validate the proposed causal model, dealing with challenging results about the extra airside capacity that could be obtained by offering a specific training on TCAS to the pilots or by use of automatisms, which is the case of remotely piloted aircraft systems.

Keywords

Pilot response time TCAS induced collisions encounter model colored Petri net state space

Get full access to this article

View all access options for this article.

References

Department of Transportation. Introduction to TCAS II Version 7.1. USA: Department of Transportation, Federal Aviation Administration, 2011.

RTCA. Minimum operational performance standards for Traffic Alert and Collision Avoidance System II (TCAS II). Washington, DC: RTCA, June 2008.

Asmar

Kochenderfer

Chryssanthacopoulos

. Vertical state estimation for aircraft collision avoidance with quantized measurements. J Guid Control Dynam 2013; 36: 1797–1802.

Nosedal

Piera

Ruiz

. An efficient algorithm for smoothing airspace congestion by fine-tuning take-off times. Transport Res C-Emer 2014; 44: 171–184.

Jun

Piera

Ruiz

. A causal model to explore the ACAS induced collisions. Proc IMechE, Part G: J Aerospace Engineering 2014; 228: 1735–1748.

Chryssanthacopoulos JP and Kochenderfer MJ. Collision avoidance system optimization with probabilistic pilot response models, 2011, pp.2765–2770, San Francisco, CA: American Control Conference (ACC).

Kochenderfer

Holland

Chryssanthacopoulos

. Next-generation airborne collision avoidance system. Lincoln Lab J 2012; 19: 17–33.

Kochenderfer

M Edwards

Espindle

. Airspace encounter models for estimating collision risk. J Guid Control Dynam 2010; 33: 487–499.

Kochenderfer MJ, Griffith JD and Olszta JE. On estimating mid-air collision risk. In: 10th AIAA aviation technology, integration, and operations (ATIO) conference, Fort Worth, Texas, USA, 13–15 September 2010, pp.1–7.

10.

Smith KA, Kochenderfer MJ, Olson WA, et al. Collision avoidance system optimization for closely spaced parallel operations through surrogate modelling. In: AIAA guidance, navigation, and control (GNC) conference, Boston, MA, USA, 19–22 August 2013, pp.1–15.

11.

Netjasov

Vidosavljevic

Tosic

. Development, validation and application of stochastically and dynamically Colored Petri net model of ACAS operations for safety assessment purposes. Transport Res C-Emer 2013; 33: 167–195.

12.

Billingsley

. Safety analysis of TCAS on Global Hawk using airspace encounter models, Master Thesis, Cambridge, MA, USA: Massachusetts Institute of Technology, USA, June 2006.

13.

EuroControl. Interactive Collision Avoidance Simulator version 2.10, User Manual, 2012. Brussels, Belgium: The European Organisation for the Safety of Air Navigation.

14.

Ruiz

Piera

Del Pozo

. A medium term conflict detection and resolution system for terminal maneuvering area based on spatial data structures and 4D trajectories. Transport Res C-Emer 2013; 26: 396–417.

15.

Kuchar

Drumm

. The traffic alert and collision avoidance system. Lincoln Lab J 2007; 16: 277–296.

16.

Cardinale

El Haddad

Manouvrier

. CPN-TWS: a colored Petri-net approach for transactional-QoS driven web service composition. Int J Web Grid Serv 2011; 7: 91–115.

17.

Salimifard

Wright

. Petri net-based modelling of workflow systems: an overview. Eur J Oper Res 2001; 134: 664–676.

18.

Jensen

Kristensen

Mailund

. The sweep-line state space exploration method. Theor Comput Sci 2012; 429: 169–179.

19.

Piera

Mušič

. Coloured Petri net scheduling models: Timed state space exploration shortages. Math Comput Simulat 2011; 82: 428–441.

20.

Zúñiga

Piera

Ruiz

. A CD&CR causal model based on path shortening/path stretching techniques. Transport Res C-Emer 2013; 33: 238–256.

21.

Narciso

Piera

Guasch

. A methodology for solving logistic optimization problems through simulation. Simulation 2010; 86: 369–389.

22.

Jensen

Kristensen

. Colored Petri nets: modelling and validation of concurrent systems, Berlin Heidelberg: Springer, 2009.

23.

Baruwa

Piera

. Identifying FMS repetitive patterns for efficient search-based scheduling algorithm: a colored Petri net approach. J Manuf Syst 2015; 35: 120–135.

24.

Baruwa

Piera

. Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach. Int J Adv Manuf Tech 2014; 75: 123–137.

25.

Baruwa

Piera

Guasch

. Deadlock-free scheduling method for flexible manufacturing systems based on timed colored Petri nets and anytime heuristic search. IEEE Trans Syst Man Cybern Syst 2014; 99: 1–16.