A Negotiation Mechanism for a Consensus in Air Traffic Conflict Resolution
暂无分享,去创建一个
[1] Miquel Angel Piera,et al. A causal model to explore the ACAS induced collisions , 2014 .
[2] Nico Roos,et al. Stable Scheduling of Airport Ground Handling Services by Heterogeneous Agents 1 , 2009 .
[3] Miquel Angel Piera,et al. A framework for multi-UAV software in the loop simulations , 2018 .
[4] Laith R. Sahawneh,et al. Detect and Avoid for Small Unmanned Aircraft Systems Using ADS-B , 2015 .
[5] Nancy A. Lynch,et al. Hybrid I/O automata , 1995, Inf. Comput..
[6] Jun Tang,et al. A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times , 2015 .
[7] J. Lygeros,et al. High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS) , 2000, Proceedings of the IEEE.
[8] Claire J. Tomlin,et al. Hierarchical, Hybrid Framework for Collision Avoidance Algorithms in the National Airspace , 2008 .
[9] Miquel Angel Piera Eroles,et al. Analysis of induced Traffic Alert and Collision Avoidance System collisions in unsegregated airspace using a Colored Petri Net model , 2015, Simul..
[10] Miquel Angel Piera,et al. Extended Traffic Alert Information to Improve TCAS Performance by means of Causal Models , 2015 .
[11] Parimal Kopardekar,et al. Enabling Civilian Low-Altitude Airspace and Unmanned Aerial System (UAS) Operations , 2014 .
[12] Miquel Angel Piera,et al. Simulation framework for testing performance of multi-UAV missions , 2016 .
[13] Jean-Baptiste Jeannin,et al. A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System , 2015, TACAS.