Difference between revisions of "EECI 2020: Course Introduction"

From Murray Wiki
Jump to navigationJump to search
 
(2 intermediate revisions by the same user not shown)
Line 5: Line 5:
  
 
==  Lecture Materials ==
 
==  Lecture Materials ==
* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L1_intro-9Mar2020.pdf Introduction to Self-Driving Cars]
+
* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L1_intro-09Mar2020.pdf Introduction to Self-Driving Cars]
  
 
== Further Reading ==
 
== Further Reading ==
Line 18: Line 18:
 
* <p> [[http:arxiv.org/abs/1902.09355|Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks]], A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendle- ton, J. Fu, and E. Frazzoli. International Conference on Robotics and Automation (ICRA), 2019.</p>
 
* <p> [[http:arxiv.org/abs/1902.09355|Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks]], A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendle- ton, J. Fu, and E. Frazzoli. International Conference on Robotics and Automation (ICRA), 2019.</p>
  
* <p> []http:arxiv.org/abs/1909.04850|Towards Assume-Guarantee Profiles for Autonomous Vehicles]], T. Phan-Minh, K. X. Cai, R. M. Murray. IEEE Conference on Decision and Control (CDC), 2019.</p>
+
* <p> [[http:arxiv.org/abs/1909.04850|Towards Assume-Guarantee Profiles for Autonomous Vehicles]], T. Phan-Minh, K. X. Cai, R. M. Murray. IEEE Conference on Decision and Control (CDC), 2019.</p>
  
 
==  Additional Information ==  
 
==  Additional Information ==  
 
* [http://www.cds.caltech.edu/~murray/VaVmuri Specification, Design and Verification of Distributed Embedded Systems] (MURI project)
 
* [http://www.cds.caltech.edu/~murray/VaVmuri Specification, Design and Verification of Distributed Embedded Systems] (MURI project)
 
* [http://ptolemy.eecs.berkeley.edu/publications/papers/06/CPSPositionPaper/ Cyber-Physical Systems - Are Computing Foundations Adequate?], Edward Lee.  Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 16-17, 2006.
 
* [http://ptolemy.eecs.berkeley.edu/publications/papers/06/CPSPositionPaper/ Cyber-Physical Systems - Are Computing Foundations Adequate?], Edward Lee.  Position Paper for NSF Workshop On Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, October 16-17, 2006.

Latest revision as of 21:56, 1 March 2020

Prev: Main Page Course home Next: Automata Theory

This lecture provides an introduction to specification, design and verification of autonomous systems, with a focus on self-driving cars. Multi-layer, networked control systems are a common architecture for control of cyberphysical systems, where a combination of physics-based dynamical behavior is combined with software-enabled functionality. A key challenge in designing such systems is specification, design and verification of control protocols for decision-making and control in networked control systems. In this lecture, we review the system architecture and design patterns used in development and deployment of autonomous vehicles, along with the challenges in obtaining high performance, robust, and safe operations.

Lecture Materials

Further Reading

Additional Information