*banner
 

Reachability Calculations for Automated Aerial Refueling
Jerry Ding, Jonathan Sprinkle, Shankar Sastry, Claire Tomlin

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess