Provably Safe Coordinated Strategy for Distributed Conflict Resolution-Reference-Cited by-同舟云学术

Provably Safe Coordinated Strategy for Distributed Conflict Resolution

Published:2005-06-19 Issue: Volume: Page:
ISSN:
Container-title:AIAA Guidance, Navigation, and Control Conference and Exhibit
language:
Short-container-title:

Author:

Dowek Gilles¹,Munoz Cesar²,Carreno Victor³

Affiliation:

1. Ecole Polytechnique

2. National Institute of Aerospace

3. NASA Langley Research Center

Publisher

American Institute of Aeronautics and Astronautics

Link

http://arc.aiaa.org/doi/pdf/10.2514/6.2005-6047

Reference17 articles.

1. 2Hoekstra, J., Ruigrok, R., van Gent, R., Visser, J., Gijsbers, B., Valenti, M., Heesbeen, W., Hilburn, B., Groeneweg, J., and Bussink, F. “Overview of NLR Free Flight Project 1997-1999,” Tech. Rep. NLR-CR-2000-227, National Aerospace Laboratory (NLR), May 2000.

2. A review of conflict detection and resolution modeling methods

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SMT-Based Aircraft Conflict Detection and Resolution;Lecture Notes in Computer Science;2024

2. Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X;ACM Transactions on Embedded Computing Systems;2022-10-29

3. Urban Air Mobility Conflict Resolution: Centralized or Decentralized?;AIAA AVIATION 2020 FORUM;2020-06-08

4. Formal verification of braking while swerving in automobiles;Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control;2020-04-17

5. Formal Verification of Collision Avoidance for Turning Maneuvers in UAVs;AIAA Aviation 2019 Forum;2019-06-14