Discussion on complexity and TCAS indicators for coherent safety net transitions
暂无分享,去创建一个
[1] César Muñoz,et al. A TCAS-II Resolution Advisory Detection Algorithm , 2013 .
[2] Daniel Delahaye,et al. Air traffic complexity based on dynamical systems , 2010, 49th IEEE Conference on Decision and Control (CDC).
[3] Jean-Baptiste Jeannin,et al. A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System , 2015, TACAS.
[4] S. Puechmorel,et al. Air traffic complexity map based on non linear dynamical systems , 2004 .
[5] Luigi Piroddi,et al. Toward Air Traffic Complexity Assessment in New Generation Air Traffic Management Systems , 2011, IEEE Transactions on Intelligent Transportation Systems.
[6] Miquel Angel Piera,et al. Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions , 2016 .
[7] Claire J. Tomlin,et al. Hierarchical, Hybrid Framework for Collision Avoidance Algorithms in the National Airspace , 2008 .
[8] S. Puechmorel,et al. AIR TRAFFIC COMPLEXITY : TOWARDS INTRINSIC METRICS , 2000 .
[9] Jun Tang,et al. A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times , 2015 .