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

• sprinkle-ChessSeminar-small.pdf · application/pdf · 2224 kbytes

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