*banner
 

When can a UAV get smart with its operator, and say 'NO!'?
Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire Tomlin

Citation
Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire Tomlin. "When can a UAV get smart with its operator, and say 'NO!'?". Talk or presentation, 15, April, 2008.

Abstract

This talk 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. Additional discussion regarding how to specify such protocols using model-based approaches, and to check decision-authority models will be included. Joint work with Jerry Ding, Claire J. Tomlin, S. Shankar Sastry

Electronic downloads

Citation formats  
  • HTML
    Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire
    Tomlin. <a
    href="http://chess.eecs.berkeley.edu/pubs/413.html"
    ><i>When can a UAV get smart with its operator, and
    say 'NO!'?</i></a>, Talk or presentation,  15,
    April, 2008.
  • Plain text
    Jonathan Sprinkle, Jerry Ding, Shankar Sastry, Claire
    Tomlin. "When can a UAV get smart with its operator,
    and say 'NO!'?". Talk or presentation,  15, April, 2008.
  • BibTeX
    @presentation{SprinkleDingSastryTomlin08_WhenCanUAVGetSmartWithItsOperatorSayNO,
        author = {Jonathan Sprinkle and Jerry Ding and Shankar
                  Sastry and Claire Tomlin},
        title = {When can a UAV get smart with its operator, and
                  say 'NO!'?},
        day = {15},
        month = {April},
        year = {2008},
        abstract = {<p> This talk 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. Additional
                  discussion regarding how to specify such protocols
                  using model-based approaches, and to check
                  decision-authority models will be included. Joint
                  work with Jerry Ding, Claire J. Tomlin, S. Shankar
                  Sastry </p>},
        URL = {http://chess.eecs.berkeley.edu/pubs/413.html}
    }
    

Posted by Douglas Densmore on 17 Apr 2008.
Groups: chess
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.

You are not logged in 
©2002-2014 Chess