EECI 2020: Course Introduction - Revision history

Murray at 21:56, 1 March 2020

2020-03-01T21:56:28Z

← Older revision		Revision as of 21:56, 1 March 2020
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 ==

Murray: Murray moved page EECI 2020: Introduction to EECI 2020: Course Introduction without leaving a redirect

2020-02-29T17:33:10Z

Murray moved page EECI 2020: Introduction to EECI 2020: Course Introduction without leaving a redirect

← Older revision	Revision as of 17:33, 29 February 2020
(No difference)

Murray: /* Further Reading */

2020-02-29T17:15:53Z

Murray: /* Further Reading */

2020-02-29T17:15:44Z

Further Reading

← Older revision		Revision as of 17:15, 29 February 2020
Line 14:		Line 14:
	</p>		</p>

	* <p>[http://www.cds.caltech.edu/~murray/papers/2007x_bur+07-dgc.html Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge], DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.</p>		* <p> [[http:www.cds.caltech.edu/~murray/papers/2007x_bur+07-dgc.html\|Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge]], DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.</p>

	* <p> [~~https~~://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> [[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>[~~https~~://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.

Murray: /* Further Reading */

2020-02-29T17:14:53Z

Further Reading

← Older revision		Revision as of 17:14, 29 February 2020
Line 16:		Line 16:
	* <p>[http://www.cds.caltech.edu/~murray/papers/2007x_bur+07-dgc.html Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge], DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.</p>		* <p>[http://www.cds.caltech.edu/~murray/papers/2007x_bur+07-dgc.html Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge], DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.</p>

	* <p>[~~http~~://~~www~~.~~cds.caltech.edu~~/~~~murray~~/~~papers/2002t_dm03b~~-~~acc~~.~~html The RoboFlag Competition]~~, ~~Raffaello~~ D~~'Andrea~~ and ~~Richard M~~. ~~Murray~~. ~~2003 American Control~~ Conference~~. This paper gives an overview of the RoboFlag competition~~ and ~~some of the research challenges that it motivates~~.~~</p>~~		* <p> [https://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>[~~http~~://~~www~~.~~cds~~.~~caltech~~.~~edu/~murray/papers/2007d_mur07~~-~~dsmc~~.~~html Recent research in cooperative control of multivehicle systems]~~, ~~Richard~~ M Murray. ~~''Journal of Dynamic Systems, Measurement~~ and Control~~'', 129~~(5)~~:571-583~~, ~~2007. This paper provides a formalism for cooperative control problems and surveys research results in the context of that formalism~~. </p>		* <p>[https://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.

Murray: Created page with "{{eeci-sp2020 header|prev=Main Page|next=Automata Theory}} {{righttoc}} This lecture provides an introduction to specification, design and verification of autonomous systems,..."

2020-02-29T16:52:00Z

Created page with "{{eeci-sp2020 header|prev=Main Page|next=Automata Theory}} {{righttoc}} This lecture provides an introduction to specification, design and verification of autonomous systems,..."

New page

{{eeci-sp2020 header|prev=Main Page|next=Automata Theory}}

{{righttoc}}
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 ==
* Lecture slides: [http://www.cds.caltech.edu/~murray/courses/eeci-sp2020/L1_intro-9Mar2020.pdf Introduction to Self-Driving Cars]

== Further Reading ==
* [http://www.cds.caltech.edu/~murray/papers/2005t_cre+06-jfr.html Alice: An Information-Rich Autonomous Vehicle for High-Speed Desert Navigation], Cremean et al. ''Journal of Field Robotics'', 2006. This article provides an overview of Alice's architecture and operation.
** [http://www.youtube.com/watch?v=S4Ud7nYRwwQ 2005 DARPA Grand Challenge video] - desert operation, showing failure due to loss of GPS tracking
** 2007 DARPA Grand Challenge video - successful run of course 2
** 2007 DARPA Grand Challenge video - unsuccessful run of course 1 (interference between different controllers)


* [http://www.cds.caltech.edu/~murray/papers/2007x_bur+07-dgc.html Sensing, Navigation and Reasoning Technologies for the DARPA Urban Challenge], DARPA final report, 2007. This is the final report that was submitted to DARPA, documenting the operation of Alice in the 2007 Urban Challenge.

* [http://www.cds.caltech.edu/~murray/papers/2002t_dm03b-acc.html The RoboFlag Competition], Raffaello D'Andrea and Richard M. Murray. 2003 American Control Conference. This paper gives an overview of the RoboFlag competition and some of the research challenges that it motivates.

* [http://www.cds.caltech.edu/~murray/papers/2007d_mur07-dsmc.html Recent research in cooperative control of multivehicle systems], Richard M Murray. ''Journal of Dynamic Systems, Measurement and Control'', 129(5):571-583, 2007. This paper provides a formalism for cooperative control problems and surveys research results in the context of that formalism. 

== Additional Information ==
* [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.

← Older revision		Revision as of 17:15, 29 February 2020
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.