Reachability calculations for automated aerial refueling

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

doi:10.1109/CDC.2008.4738998

Reachability calculations for automated aerial refueling

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

53 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 language	English (US)
Title of host publication	Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	3706-3712
Number of pages	7
ISBN (Print)	9781424431243
DOIs	https://doi.org/10.1109/CDC.2008.4738998
State	Published - 2008
Externally published	Yes
Event	47th IEEE Conference on Decision and Control, CDC 2008 - Cancun, Mexico Duration: Dec 9 2008 → Dec 11 2008

Publication series

Name	Proceedings of the IEEE Conference on Decision and Control
ISSN (Print)	0743-1546
ISSN (Electronic)	2576-2370

Other

Other	47th IEEE Conference on Decision and Control, CDC 2008
Country/Territory	Mexico
City	Cancun
Period	12/9/08 → 12/11/08

ASJC Scopus subject areas

Control and Systems Engineering
Modeling and Simulation
Control and Optimization

Access to Document

10.1109/CDC.2008.4738998

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). Article 4738998 (Proceedings of the IEEE Conference on Decision and Control). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/CDC.2008.4738998

Reachability calculations for automated aerial refueling. / Ding, Jerry; Sprinkle, Jonathan; Sastry, S. Shankar et al.
Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008. Institute of Electrical and Electronics Engineers Inc., 2008. p. 3706-3712 4738998 (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ding, J, Sprinkle, J, Sastry, SS & Tomlin, CJ 2008, Reachability calculations for automated aerial refueling. in Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008., 4738998, Proceedings of the IEEE Conference on Decision and Control, Institute of Electrical and Electronics Engineers Inc., 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

@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",

series = "Proceedings of the IEEE Conference on Decision and Control",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "3706--3712",

booktitle = "Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008",

note = "47th IEEE Conference on Decision and Control, CDC 2008 ; Conference date: 09-12-2008 Through 11-12-2008",

}

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

T3 - Proceedings of the IEEE Conference on Decision and Control

SP - 3706

EP - 3712

BT - Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 47th IEEE Conference on Decision and Control, CDC 2008

Y2 - 9 December 2008 through 11 December 2008

ER -

Reachability calculations for automated aerial refueling

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this