Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions
Tóm tắt
Từ khóa
Tài liệu tham khảo
Billingsley, T.B., Espindle, L.P., Griffith, J.D., 2009. TCAS Multiple Threat Encounter Analysis. MIT Lincoln Laboratory. Project Report ATC-359, 2009.
Billingsley, 2012, Collision avoidance for general aviation, IEEE Aerosp. Electron. Syst. Mag., 27, 4, 10.1109/MAES.2012.6328836
Brooker, 2013, Introducing unmanned aircraft systems into a high reliability ATC system, J. Nav., 66, 719, 10.1017/S0373463313000337
Carvalho, 2009, Normal people working in normal organizations with normal equipment: system safety and cognition in a mid-air collision, Appl. Ergon., 40, 325, 10.1016/j.apergo.2008.11.013
Catena, 2014, Automatic tuning architecture for the navigation control loops of unmanned aerial vehicles, J. Intell. Rob. Syst., 73, 413, 10.1007/s10846-013-9919-2
Chryssanthacopoulos, J.P., Kochenderfer, M.J., 2011. Collision avoidance system optimization with probabilistic pilot response models. In: American Control Conference (ACC). San Francisco, CA, 10, pp. 2765–2770.
Conde, 2012, Conflict detection and resolution method for cooperating unmanned aerial vehicles, J. Intell. Rob. Syst., 65, 495, 10.1007/s10846-011-9564-6
Department of Trade, 1982. Aircraft Accident Report 9/82. Report on the Collision in the Zagreb Area, Yugoslavia, on 10 September 1976. Accident Investigation Branch, UK.
DoT, 2011
Espindle, L.P., Griffith, J.D., Kuchar, J.K., 2009. Safety analysis of upgrading to TCAS version 7.1 using the 2008 US Correlated Encounter Model. Project Report ATC-349, Lincoln Laboratory.
EuroControl, 2001. The EUR RVSM Pre-implementation Safety Case, Version 2.0. Document RVSM 691.
Garcia-Chico, J.L., Corker, K.M., 2007. An analysis of operational errors and the interaction with TCAS RA’s. In: Proceedings 7th USA/Europe Air Traffic Management R&D Seminar (ATM2007), Barcelona, Spain, 2–5 July 2007.
ICAO, 2006. Airborne Collision Avoidance System (ACAS) Manual. Document 9863, International Civil Aviation Organization, Canada.
ICAO, 2014
Isaacson, 2014, Tactical scheduling for precision air traffic operations: past research and current problems, J. Aero. Inform. Syst., 11, 234
Jensen, 1993, 230
Johnson, C., 2004. Final Report: Review of the BFU Überlingen Accident Report. Contract C/1.369/HQ/SS/04, Eurocontrol.
Kochenderfer, 2010, Airspace encounter models for estimating collision risk, J. Guid. Control Dyn., 33, 487, 10.2514/1.44867
Kristensen, 2004, Specification and validation of an edge router discovery protocol for mobile ad hoc networks, 248
Kuchar, J.K., Andrews, J., Drumm, A., Hall, T., Heinz, V., Thompson, S., Welch, J., 2004. A Safety Analysis Process for the Traffic Alert and Collision Avoidance System (TCAS) and See-and-Avoid Systems on Remotely Piloted Vehicle. AIAA 3rd “Unmanned Unlimited” Technical Conference, Workshop and Exhibit, USA.
Kuchar, 2000, A review of conflict detection and resolution modelling methods, IEEE Trans. Intell. Transp. Syst., 1, 179, 10.1109/6979.898217
Ladkin, P.B., 2004. Causal analysis of the ACAS/TCAS Sociotechnical System. In: Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software-Volume 47, Brisbane, Australia, pp. 3–12.
Lee, 2012, Game theoretic modeling of pilot behavior during mid-air encounters, 75
McCallie, 2011, Security analysis of the ADS-B implementation in the next generation air transportation system, Int. J. Crit. Infrastruct. Prot., 4, 78, 10.1016/j.ijcip.2011.06.001
Netjasov, F., Vidosavljevic, A., Tosic, V., Everdij, M.H.C., Blom, H.A.P., 2010. Stochastically and dynamically coloured Petri net model of ACAS operations. In: Proceedings 4th International Conference on Research in Air Transportation (ICRAT), Budapest, Hungary, 1–4 June 2010, pp. 449–456.
Netjasov, 2013, Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes, Transport. Res. Part C: Emerg. Technol., 33, 167, 10.1016/j.trc.2012.04.018
Nosedal, 2014, An efficient algorithm for smoothing airspace congestion by fine-tuning take-off times, Transport. Res. Part C: Emerg. Technol., 44, 171, 10.1016/j.trc.2014.03.017
NTSB database, 2015. National Transportation Board <http://www.ntsb.gov/_layouts/ntsb.aviation/month.aspx> (Accessed on 7 March 2015).
Piera, 2011, Coloured Petri net scheduling models: timed state space exploration shortages, Math. Comput. Simul., 82, 428, 10.1016/j.matcom.2010.10.014
Piera, 2014, Causal simulation models for facing third millennium air transport sustainability, Simulation, 90, 162, 10.1177/0037549712469247
Ruiz, S., 2013. Strategic trajectory de-confliction to enable seamless aircraft conflict management. Ph.D. Dissertation. Telecommunication and System Engineering Dept., Autonomous of Barcelona Univ., Barcelona, ES, 2013.
Salimifard, 2001, Petri net-based modelling of workflow systems: an overview, Eur. J. Oper. Res., 134, 664, 10.1016/S0377-2217(00)00292-7
Tang, 2014, A causal model to explore the ACAS induced collisions, Proc. Inst. Mech. Eng., Part G: J. Aerosp. Eng., 228, 1735, 10.1177/0954410014537242
Wildmann, 2014, Towards higher accuracy and better frequency response with standard multi-hole probes in turbulence measurement with remotely piloted aircraft (RPA), Atmos. Meas. Tech., 7, 1027, 10.5194/amt-7-1027-2014
Yousefi, 2013, Dynamic allocation and benefit assessment of NextGen flow corridors, Transport. Res. Part C: Emerg. Technol., 33, 297, 10.1016/j.trc.2012.04.016
Zeitlin, 2006