Online safety calculations for glide-slope recapture

Jonathan Sprinkle, Aaron D. Ames, J. Mikael Eklund, Ian M. Mitchell, S. Shankar Sastry

Research output: Contribution to journalArticle

7 Citations (Scopus)

Abstract

As unmanned aerial vehicles (UAVs) increase in popularity and usage, an appropriate increase in confidence in their behavior is expected. This research addresses a particular portion of the flight of an aircraft (whether autonomous, unmanned, or manned): specifically, the recapture of the glide slope after a wave-off maneuver during landing. While this situation is rare in commercial aircraft, its applicability toward unmanned aircraft has been limited due to the complexity of the calculations of safety of the maneuvers. In this paper, we present several control laws for this glide-slope recapture, and inferences into their convergence to the glide slope, as well as reachability calculations which show their guaranteed safety. We also present a methodology which theoretically allows us to apply these offline-computed safety data to all kinds of unmanned fixed-wing aerial vehicles while online, permitting the use of the controllers to reduce wait times during landing. Finally, we detail the live aircraft application demonstration which was done to show feasibility of the controller, and give the results of offline simulations which show the correctness of online decisions at that demonstration.

Original languageEnglish (US)
Pages (from-to)157-175
Number of pages19
JournalInnovations in Systems and Software Engineering
Volume1
Issue number2
DOIs
StatePublished - Sep 2005
Externally publishedYes

Fingerprint

Aircraft
Landing
Demonstrations
Fixed wings
Controllers
Unmanned aerial vehicles (UAV)
Antennas

Keywords

  • Code generation
  • Controller synthesis
  • Reachability model analysis
  • Unmanned aerial vehicles (UAVs)

ASJC Scopus subject areas

  • Software

Cite this

Online safety calculations for glide-slope recapture. / Sprinkle, Jonathan; Ames, Aaron D.; Eklund, J. Mikael; Mitchell, Ian M.; Sastry, S. Shankar.

In: Innovations in Systems and Software Engineering, Vol. 1, No. 2, 09.2005, p. 157-175.

Research output: Contribution to journalArticle

Sprinkle, Jonathan ; Ames, Aaron D. ; Eklund, J. Mikael ; Mitchell, Ian M. ; Sastry, S. Shankar. / Online safety calculations for glide-slope recapture. In: Innovations in Systems and Software Engineering. 2005 ; Vol. 1, No. 2. pp. 157-175.
@article{8207c28143104066a2fe1a674e989d2f,
title = "Online safety calculations for glide-slope recapture",
abstract = "As unmanned aerial vehicles (UAVs) increase in popularity and usage, an appropriate increase in confidence in their behavior is expected. This research addresses a particular portion of the flight of an aircraft (whether autonomous, unmanned, or manned): specifically, the recapture of the glide slope after a wave-off maneuver during landing. While this situation is rare in commercial aircraft, its applicability toward unmanned aircraft has been limited due to the complexity of the calculations of safety of the maneuvers. In this paper, we present several control laws for this glide-slope recapture, and inferences into their convergence to the glide slope, as well as reachability calculations which show their guaranteed safety. We also present a methodology which theoretically allows us to apply these offline-computed safety data to all kinds of unmanned fixed-wing aerial vehicles while online, permitting the use of the controllers to reduce wait times during landing. Finally, we detail the live aircraft application demonstration which was done to show feasibility of the controller, and give the results of offline simulations which show the correctness of online decisions at that demonstration.",
keywords = "Code generation, Controller synthesis, Reachability model analysis, Unmanned aerial vehicles (UAVs)",
author = "Jonathan Sprinkle and Ames, {Aaron D.} and Eklund, {J. Mikael} and Mitchell, {Ian M.} and Sastry, {S. Shankar}",
year = "2005",
month = "9",
doi = "10.1007/s11334-005-0017-x",
language = "English (US)",
volume = "1",
pages = "157--175",
journal = "Innovations in Systems and Software Engineering",
issn = "1614-5046",
publisher = "Springer London",
number = "2",

}

TY - JOUR

T1 - Online safety calculations for glide-slope recapture

AU - Sprinkle, Jonathan

AU - Ames, Aaron D.

AU - Eklund, J. Mikael

AU - Mitchell, Ian M.

AU - Sastry, S. Shankar

PY - 2005/9

Y1 - 2005/9

N2 - As unmanned aerial vehicles (UAVs) increase in popularity and usage, an appropriate increase in confidence in their behavior is expected. This research addresses a particular portion of the flight of an aircraft (whether autonomous, unmanned, or manned): specifically, the recapture of the glide slope after a wave-off maneuver during landing. While this situation is rare in commercial aircraft, its applicability toward unmanned aircraft has been limited due to the complexity of the calculations of safety of the maneuvers. In this paper, we present several control laws for this glide-slope recapture, and inferences into their convergence to the glide slope, as well as reachability calculations which show their guaranteed safety. We also present a methodology which theoretically allows us to apply these offline-computed safety data to all kinds of unmanned fixed-wing aerial vehicles while online, permitting the use of the controllers to reduce wait times during landing. Finally, we detail the live aircraft application demonstration which was done to show feasibility of the controller, and give the results of offline simulations which show the correctness of online decisions at that demonstration.

AB - As unmanned aerial vehicles (UAVs) increase in popularity and usage, an appropriate increase in confidence in their behavior is expected. This research addresses a particular portion of the flight of an aircraft (whether autonomous, unmanned, or manned): specifically, the recapture of the glide slope after a wave-off maneuver during landing. While this situation is rare in commercial aircraft, its applicability toward unmanned aircraft has been limited due to the complexity of the calculations of safety of the maneuvers. In this paper, we present several control laws for this glide-slope recapture, and inferences into their convergence to the glide slope, as well as reachability calculations which show their guaranteed safety. We also present a methodology which theoretically allows us to apply these offline-computed safety data to all kinds of unmanned fixed-wing aerial vehicles while online, permitting the use of the controllers to reduce wait times during landing. Finally, we detail the live aircraft application demonstration which was done to show feasibility of the controller, and give the results of offline simulations which show the correctness of online decisions at that demonstration.

KW - Code generation

KW - Controller synthesis

KW - Reachability model analysis

KW - Unmanned aerial vehicles (UAVs)

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

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

U2 - 10.1007/s11334-005-0017-x

DO - 10.1007/s11334-005-0017-x

M3 - Article

VL - 1

SP - 157

EP - 175

JO - Innovations in Systems and Software Engineering

JF - Innovations in Systems and Software Engineering

SN - 1614-5046

IS - 2

ER -