Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics
暂无分享,去创建一个
Jean-Baptiste Jeannin | Daniel Genin | Aurora Schmidt | Yanni Kouskoulas | Jean-Baptiste Jeannin | Yanni Kouskoulas | Aurora C. Schmidt | D. Genin
[1] César A. Muñoz,et al. Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories , 2012, Reliab. Comput..
[2] André Platzer,et al. Formal verification of distributed aircraft controllers , 2013, HSCC '13.
[3] Mykel J. Kochenderfer,et al. Optimizing the Next Generation Collision Avoidance System for Safe, Suitable, and Acceptable Operational Performance , 2013 .
[4] S. Shankar Sastry,et al. Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..
[5] Jean-Baptiste Jeannin,et al. A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System , 2015, TACAS.
[6] Jean-Baptiste Jeannin,et al. Hybrid Theorem Proving of Aerospace Systems: Applications and Challenges , 2014, J. Aerosp. Inf. Syst..
[7] B J Chludzinski. Evaluation of TCAS II Version 7.1 Using the FAA Fast-Time Encounter Generator Model, Volume 1 , 2009 .
[8] César Muñoz,et al. A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories , 2015 .
[9] Christian von Essen,et al. Analyzing the Next Generation Airborne Collision Avoidance System , 2014, TACAS.
[10] Edmund M. Clarke,et al. Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study , 2009, FM.
[11] Mykel J. Kochenderfer,et al. Robust Airborne Collision Avoidance through Dynamic Programming , 2011 .
[12] César Muñoz,et al. A TCAS-II Resolution Advisory Detection Algorithm , 2013 .
[13] Jean-Baptiste Jeannin,et al. Formal verification of ACAS X, an industrial airborne collision avoidance system , 2015, 2015 International Conference on Embedded Software (EMSOFT).
[14] Mykel J. Kochenderfer,et al. Next-Generation Airborne Collision Avoidance System , 2012 .
[15] Ole J. Mengshoel,et al. Adaptive stress testing of airborne collision avoidance systems , 2015 .