Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction

Abstract

This paper describes an approach based on reachability calculations for ensuring robust operation guarantees in flight maneuver sequences performed by unmanned aerial vehicles (UAVs) under supervision of human operators, with applications to safety-critical scenarios. Using a hybrid system formalism to model the maneuver sequence, the paper devises… (More)

Topics

13 Figures and Tables

Cite this paper

@inproceedings{Ding2010ReachabilityCF, title={Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction}, author={Jerry Ding and Jonathan Sprinkle and Claire J. Tomlin and S. Shankar Sastry and James L. Paunicka}, year={2010} }