Difference between revisions of "EECI 2020: Behavior Specifications"

From MurrayWiki
Jump to: navigation, search
 
(2 intermediate revisions by 2 users not shown)
Line 5: Line 5:
  
 
==  Lecture Materials ==
 
==  Lecture Materials ==
* [https://www.dropbox.com/s/8i6yj94p10a2cj0/L9_rulebooks.pdf?dl=0 Lecture slides]
+
* [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020//L9_rulebooks-13Mar2020.pdf Lecture slides]
  
 
== Further Reading ==
 
== Further Reading ==
 
* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>
 
* <p>[https://dl.acm.org/doi/pdf/10.1145/2461328.2461330 Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks] A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, E. Frazzoli, ICRA 2019. Detail on the rulebooks framework.</p>
 +
* <p>[https://530cb0a7-a-62cb3a1a-s-sites.googlegroups.com/site/tichakorn/itsc11.pdf?attachauth=ANoY7crfSz_U77VBEX95uPM-hJ45EDINGM5mtrqbPiY6VBfpf0WFZGdE-aYV0TPGZBje1gC29IdT2OyQkebTr2q8xY6qGM4wkg512xDedo29SulIC1PCzzmzerWn6NSTWCZgau_MSTb7gsrxxHvSGvU3NFoa5-jusHMpPdfrMvwSGmw0RL3-2XmMTXlAT22z1fPiRAOkhLgpJRacM-oOj36yeKVCIT1hcQ%3D%3D&attredirects=0 Synthesis of Provably Correct Controllers for Autonomous Vehicles in Urban Environments] T. Wongpiromsarn, S. Karaman, E. Frazzoli, ITSC 2011. How Urban Challenge specifications can be expressed in LTL.</p>

Latest revision as of 07:26, 13 March 2020

Prev: Computer Session: MVP Course home Next: Safety-Critical Systems

One of the major challenges in the development, validation and deployment of autonomous vehicles is to understand what constitutes their correct behavior. The behavior specifications of autonomous vehicles come from numerous sources, including not only the vaguely written traffic laws, but also ethics and local driving culture to ensure their predictability and compatibility with other traffic participants. This lecture provides real-life examples where such specifications are conflicting and present a new formalism called “rulebooks”, developed at Nutonomy, to specify the correct behavior of autonomous vehicles and provide a systematic approach to handle possibly conflicting specifications.

Lecture Materials

Further Reading