EECI09: Distributed protocols and verification - Revision history

Murray at 19:01, 18 March 2009

2009-03-18T19:01:07Z

← Older revision		Revision as of 19:01, 18 March 2009
Line 2:		Line 2:

	{{righttoc}}		{{righttoc}}
	~~One paragraph overview~~ of ~~the lecture~~		This lecture introduces the use of protocols and temporal logic for reasoning about logical computations in cooperative control. We focus on a specific example of a language for control of cooperative systems called CCL (Computation and Control Language). We use CCL to demonstrate how to prove stability for distributed protocols.

	== Lecture Materials ==		== Lecture Materials ==
	* Lecture slides: {{eeci-sp09 pdf\|~~Ln_topic~~.pdf\|~~Title~~}}		* Lecture slides: {{eeci-sp09 pdf\|L13_protocols.pdf\|Protocol-based control systems}}
	* Links to anything else that is handed out in the lecture

	== Further Reading ==		== Further Reading ==
	* <p>~~[http://www~~.~~cds.caltech.edu/~murray/cdspanel~~ Control ~~in an Information Rich World]~~, R. M. Murray (ed). SIAM, 2003. This book provides a high level description of some of the research challenges and opportunities in the field of control. The executive summary (Section 1) and the application sections on ~~"Information and Networks" and "~~Robotics and ~~Intelligent Machines" (Section 3.2 and 3.3) are particularly relevant~~.</p>		* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l Conference on Robotics and Automation, 2004. </p>
	* <p>~~Second paper~~</p>		* <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE Pervasive Computing'', 2004. </p>


	== Additional Information ==		== Additional Information ==
	* [http://home.cwru.edu/ncs/ Networked Control Systems Repository] (M. Branicky and S. Phillipps)		* [[EECI08: Distributed Protocols and CCL]] - 2008 lecture page
	* [[EECI08: ~~Introduction to Networked Control Systems\|~~2008 lecture page]]
	* Additional links to external information

Murray: EECI09: Distributed protocols moved to EECI09: Distributed protocols and verification

2009-03-07T21:58:36Z

EECI09: Distributed protocols moved to EECI09: Distributed protocols and verification

← Older revision		Revision as of 21:58, 7 March 2009
(No difference)

Murray at 21:08, 1 March 2009

2009-03-01T21:08:18Z

← Older revision		Revision as of 21:08, 1 March 2009
Line 1:		Line 1:
	{{eeci-sp09 header\|prev=~~Main Page~~\|next=~~Main Page~~}}		{{eeci-sp09 header\|prev=Distributed estimation\|next=Future directions}}

	{{righttoc}}		{{righttoc}}

Murray at 20:54, 1 March 2009

2009-03-01T20:54:07Z

New page

{{eeci-sp09 header|prev=Main Page|next=Main Page}}

{{righttoc}}
One paragraph overview of the lecture

== Lecture Materials ==
* Lecture slides: {{eeci-sp09 pdf|Ln_topic.pdf|Title}}
* Links to anything else that is handed out in the lecture

== Further Reading ==
* <p>[http://www.cds.caltech.edu/~murray/cdspanel Control in an Information Rich World], R. M. Murray (ed). SIAM, 2003. This book provides a high level description of some of the research challenges and opportunities in the field of control. The executive summary (Section 1) and the application sections on "Information and Networks" and "Robotics and Intelligent Machines" (Section 3.2 and 3.3) are particularly relevant.</p>
* <p>Second paper</p>

== Additional Information ==
* [http://home.cwru.edu/ncs/ Networked Control Systems Repository] (M. Branicky and S. Phillipps)
* [[EECI08: Introduction to Networked Control Systems|2008 lecture page]]
* Additional links to external information