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 language | English (US) |
|---|---|
| Pages (from-to) | 157-175 |
| Number of pages | 19 |
| Journal | Innovations in Systems and Software Engineering |
| Volume | 1 |
| Issue number | 2 |
| DOIs | |
| State | Published - Sep 2005 |
| Externally published | Yes |
Fingerprint
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 journal › Article
}
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 -