Reachability calculations for automated aerial refueling

Jerry Ding, Jonathan Sprinkle, S. Shankar Sastry, Claire J. Tomlin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

42 Scopus citations

Abstract

This paper describes Hamilton-Jacobi (HJ) reachability calculations for a hybrid systems formalism governing unmanned aerial vehicles (UAVs) interacting with another vehicle in a safety-critical situation. We use this problem to lay the foundations toward the goal of refining or designing protocols for multi-UAV and/or manned vehicle interaction. We describe here what mathematical foundations are necessary to formulate verification problems on reachability and safety of flight maneuvers. We finally show how this formalism can be used in the chosen application to inform UAV decisions on avoiding unsafe scenarios while achieving mission objectives.

Original languageEnglish (US)
Title of host publicationProceedings of the 47th IEEE Conference on Decision and Control, CDC 2008
Pages3706-3712
Number of pages7
DOIs
StatePublished - Dec 1 2008
Event47th IEEE Conference on Decision and Control, CDC 2008 - Cancun, Mexico
Duration: Dec 9 2008Dec 11 2008

Publication series

NameProceedings of the IEEE Conference on Decision and Control
ISSN (Print)0191-2216

Other

Other47th IEEE Conference on Decision and Control, CDC 2008
CountryMexico
CityCancun
Period12/9/0812/11/08

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Modeling and Simulation
  • Control and Optimization

Fingerprint Dive into the research topics of 'Reachability calculations for automated aerial refueling'. Together they form a unique fingerprint.

  • Cite this

    Ding, J., Sprinkle, J., Sastry, S. S., & Tomlin, C. J. (2008). Reachability calculations for automated aerial refueling. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008 (pp. 3706-3712). [4738998] (Proceedings of the IEEE Conference on Decision and Control). https://doi.org/10.1109/CDC.2008.4738998