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

41 Citations (Scopus)

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 IEEE Conference on Decision and Control
Pages3706-3712
Number of pages7
DOIs
StatePublished - 2008
Event47th IEEE Conference on Decision and Control, CDC 2008 - Cancun, Mexico
Duration: Dec 9 2008Dec 11 2008

Other

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

Fingerprint

Unmanned aerial vehicles (UAV)
Reachability
Safety
Antennas
Hamilton-Jacobi
Hybrid Systems
Hybrid systems
Scenarios
Refining
Necessary
Interaction
Network protocols

ASJC Scopus subject areas

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

Cite this

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

Reachability calculations for automated aerial refueling. / Ding, Jerry; Sprinkle, Jonathan; Sastry, S. Shankar; Tomlin, Claire J.

Proceedings of the IEEE Conference on Decision and Control. 2008. p. 3706-3712 4738998.

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

Ding, J, Sprinkle, J, Sastry, SS & Tomlin, CJ 2008, Reachability calculations for automated aerial refueling. in Proceedings of the IEEE Conference on Decision and Control., 4738998, pp. 3706-3712, 47th IEEE Conference on Decision and Control, CDC 2008, Cancun, Mexico, 12/9/08. https://doi.org/10.1109/CDC.2008.4738998
Ding J, Sprinkle J, Sastry SS, Tomlin CJ. Reachability calculations for automated aerial refueling. In Proceedings of the IEEE Conference on Decision and Control. 2008. p. 3706-3712. 4738998 https://doi.org/10.1109/CDC.2008.4738998
Ding, Jerry ; Sprinkle, Jonathan ; Sastry, S. Shankar ; Tomlin, Claire J. / Reachability calculations for automated aerial refueling. Proceedings of the IEEE Conference on Decision and Control. 2008. pp. 3706-3712
@inproceedings{35d5e6f6661c44398409484a98a68fa6,
title = "Reachability calculations for automated aerial refueling",
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.",
author = "Jerry Ding and Jonathan Sprinkle and Sastry, {S. Shankar} and Tomlin, {Claire J.}",
year = "2008",
doi = "10.1109/CDC.2008.4738998",
language = "English (US)",
isbn = "9781424431243",
pages = "3706--3712",
booktitle = "Proceedings of the IEEE Conference on Decision and Control",

}

TY - GEN

T1 - Reachability calculations for automated aerial refueling

AU - Ding, Jerry

AU - Sprinkle, Jonathan

AU - Sastry, S. Shankar

AU - Tomlin, Claire J.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=62949097294&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=62949097294&partnerID=8YFLogxK

U2 - 10.1109/CDC.2008.4738998

DO - 10.1109/CDC.2008.4738998

M3 - Conference contribution

AN - SCOPUS:62949097294

SN - 9781424431243

SP - 3706

EP - 3712

BT - Proceedings of the IEEE Conference on Decision and Control

ER -