Extended Traffic Alert Information to Improve TCAS Performance by means of Causal Models
暂无分享,去创建一个
[1] Miquel Angel Piera,et al. Identifying FMS repetitive patterns for efficient search-based scheduling algorithm: A colored Petri net approach , 2015 .
[2] Lars Michael Kristensen,et al. Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .
[3] Fedja Netjasov,et al. Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes , 2013 .
[4] James K. Kuchar,et al. The Traffic Alert and Collision Avoidance System , 2007 .
[5] R. Valette,et al. A Petri net-based object-oriented approach for the modelling of hybrid productive systems , 2005 .
[6] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[7] John Daniel Griffith,et al. TCAS Multiple Threat Encounter Analysis , 2009 .
[8] Miquel Angel Piera Eroles,et al. A Methodology for Solving Logistic Optimization Problems through Simulation , 2010, Simul..
[9] Lars Michael Kristensen,et al. The sweep-line state space exploration method , 2012, Theor. Comput. Sci..
[11] Jun Tang,et al. A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times , 2015 .
[12] Miquel Angel Piera,et al. A causal model to explore the ACAS induced collisions , 2014 .
[13] Miquel Angel Piera,et al. Anytime heuristic search for scheduling flexible manufacturing systems: a timed colored Petri net approach , 2014, The International Journal of Advanced Manufacturing Technology.
[14] 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..
[15] J. Lygeros,et al. High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS) , 2000, Proceedings of the IEEE.
[16] Miquel Angel Piera Eroles,et al. Coloured Petri net scheduling models: Timed state space exploration shortages , 2011, Math. Comput. Simul..
[17] Mykel J. Kochenderfer,et al. Correlated Encounter Model for Cooperative Aircraft in the National Airspace System Version 1.0 , 2008 .
[18] Mike Wright,et al. Petri net-based modelling of workflow systems: An overview , 2001, Eur. J. Oper. Res..