1–20 von 38 Ergebnissen
|

    A TCAS-II Resolution Advisory Detection Algorithm

    Munoz, Cesar / Narkawicz, Anthony / Chamberlain, James | AIAA | 2013

    A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)

    Narkawicz, Anthony / Munoz, Cesar | British Library Conference Proceedings | 2015

    Coordination Logic for Repulsive Resolution Maneuvers

    Narkawicz, Anthony / Munoz, Cesar / Dutle, Aaron | AIAA | 2016

    Sensor Uncertainty Mitigation and Dynamic Well Clear Volumes in DAIDALUS

    Narkawicz, Anthony / Munoz, Cesar / Dutle, Aaron | IEEE | 2018

    Coordination Logic for Repulsive Resolution Maneuvers (AIAA 2016-3156)

    Narkawicz, Anthony / Munoz, Cesar / Dutle, Aaron | British Library Conference Proceedings | 2016

    A Mathematical Analysis of Air Traffic Priority Rules

    Narkawicz, Anthony / Munoz, Cesar / Maddalon, Jeffrey | AIAA | 2012

    An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers

    Narkawicz, Anthony / Munoz, Cesar / Hagen, George E. | AIAA | 2014

    A TCAS-II Resolution Advisory Detection Algorithm

    Munoz, Cesar / Narkawicz, Anthony / Chamberlain, James | NTRS | 2013

    A Vision-based Solution to Estimating Time to Closest Point of Approach for Sense and Avoid

    Glozman, Tanya / Narkawicz, Anthony / Kamon, Ishay et al. | AIAA | 2021

    Formal verification of lateral and temporal safety buffers for state-based conflict detection

    Narkawicz, Anthony / Muñoz, César / Herencia-Zapana, Heber et al. | SAGE Publications | 2013

    A VISION-BASED SOLUTION TO ESTIMATING TIME TO CLOSEST POINT OF APPROACH FOR SENSE AND AVOID

    Glozman, Tanya / Narkawicz, Anthony / Kamon, Ishay et al. | TIBKAT | 2021

    Unmanned Aircraft Systems in the National Airspace System: A Formal Methods Perspective

    Munoz, Cesar A. / Dutle, Aaron / Narkawicz, Anthony et al. | NTRS | 2016

    An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers

    Narkawicz, Anthony J. / Munoz, Cesar A. / Hagen, George | NTRS | 2014

    Coordination Logic for Repulsive Resolution Maneuvers

    Narkawicz, Anthony J. / Munoz, Cesar A. / Dutle, Aaron M. | NTRS | 2016