Citation
Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire Tomlin. "Reachability Calculations for Automated Aerial Refueling". IEEE Conference on Decision and Control, IEEE, 3706-3712, December, 2008.

Abstract
This paper describes reachability calculations for a hybrid system formalism governing UAVs interacting with another vehicle in a safety-critical situation. We examine this problem to lay the foundations toward the goal of certifying certain protocols for flight critical systems. In order to pursue these goals, we describe here what mathematical foundations are necessary to inform protocol certification, as well as describe how such formalisms can be used to automatically synthesize simulations to test against certain danger areas in the protocol. This can provide a mathematical basis for the UAV to perhaps reject a command based on the known unsafe behavior of the vehicle. We describe how creating this formalism can help to refine or design protocols for multi-UAV and/or manned vehicle interaction to avoid such scenarios, or to define appropriate behaviors in those cases.

Electronic downloads

• http://dx.doi.org/10.1109/CDC.2008.4738998

• HTML

  Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire
  Tomlin. <a
  href="http://chess.eecs.berkeley.edu/pubs/404.html"
  >Reachability Calculations for Automated Aerial
  Refueling</a>, IEEE Conference on Decision and
  Control, IEEE, 3706-3712, December, 2008.

• Plain text

  Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire
  Tomlin. "Reachability Calculations for Automated Aerial
  Refueling". IEEE Conference on Decision and Control,
  IEEE, 3706-3712, December, 2008.

• BibTeX

  @inproceedings{DingSprinkleSastryTomlin08_ReachabilityCalculationsForAutomatedAerialRefueling,
      author = {Jerry Ding and Jonathan Sprinkle and Shankar
                Sastry and Claire Tomlin},
      title = {Reachability Calculations for Automated Aerial
                Refueling},
      booktitle = {IEEE Conference on Decision and Control},
      organization = {IEEE},
      pages = {3706-3712},
      month = {December},
      year = {2008},
      abstract = {This paper describes reachability calculations for
                a hybrid system formalism governing UAVs
                interacting with another vehicle in a
                safety-critical situation. We examine this problem
                to lay the foundations toward the goal of
                certifying certain protocols for flight critical
                systems. In order to pursue these goals, we
                describe here what mathematical foundations are
                necessary to inform protocol certification, as
                well as describe how such formalisms can be used
                to automatically synthesize simulations to test
                against certain danger areas in the protocol. This
                can provide a mathematical basis for the UAV to
                perhaps reject a command based on the known unsafe
                behavior of the vehicle. We describe how creating
                this formalism can help to refine or design
                protocols for multi-UAV and/or manned vehicle
                interaction to avoid such scenarios, or to define
                appropriate behaviors in those cases.},
      URL = {http://chess.eecs.berkeley.edu/pubs/404.html}
  }
  

Posted by Jonathan Sprinkle on 14 Mar 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.