EECI08: Distributed Protocols and CCL - Revision history

Murray: EECI: Distributed Protocols and CCL moved to EECI08: Distributed Protocols and CCL

2009-03-01T20:17:28Z

EECI: Distributed Protocols and CCL moved to EECI08: Distributed Protocols and CCL

← Older revision		Revision as of 20:17, 1 March 2009
(No difference)

Murray: /* Further Reading */

2008-03-29T01:09:10Z

Murray: /* Further Reading */

2008-03-29T01:08:56Z

Murray at 01:08, 29 March 2008

2008-03-29T01:08:43Z

← Older revision		Revision as of 01:08, 29 March 2008
Line 2:		Line 2:

	{{righttoc}}		{{righttoc}}
			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-sp08 pdf\|L11_ccl.pdf\|Distributed Computation for Cooperative Control}}		* Lecture slides: {{eeci-sp08 pdf\|L11_ccl.pdf\|Distributed Computation for Cooperative Control}}

	==== ~~Additional Information ====~~		== Further Reading ==
			* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l
	~~==== Further Reading ====~~		Conference on Robotics and Automation, 2004. </p>
			• <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE
			Pervasive Computing'', 2004. </p>

Murray at 15:53, 28 March 2008

2008-03-28T15:53:23Z

← Older revision		Revision as of 15:53, 28 March 2008
Line 2:		Line 2:

	{{righttoc}}		{{righttoc}}
	~~This lecture describes how to perform estimation and control in a distributed setting.~~

	~~{\| width=100% border=1~~
	~~\|- valign=top~~
	~~\| width=50% \|~~
	~~==== Outline ====~~
	~~<ol type="A">~~
	~~<li></li>~~
	~~</ol>~~
	~~\| width=50% \|~~

	==== Lecture Materials ====		==== Lecture Materials ====
	* Lecture slides: {{eeci-sp08 pdf ~~placeholder~~\|~~L7_pbc~~.pdf\|Distributed ~~Estimation and Control}}~~		* Lecture slides: {{eeci-sp08 pdf\|L11_ccl.pdf\|Distributed Computation for Cooperative Control}}
	* Lecture notes: {{ncsbook\|fusion\|Chapter 6 - Distributed Estimation and Control}}

	==== Additional Information ====		==== Additional Information ====

	\|}

	==== Further Reading ====		==== Further Reading ====

Murray at 15:29, 28 March 2008

2008-03-28T15:29:46Z

New page

{{eeci-sp08 header|next=[[EECI: State Estimation on Lattices|Lattice Theory]]|prev=[[EECI: Formation Control in Multi-Agent Systems|Formation Control]]}}

{{righttoc}}
This lecture describes how to perform estimation and control in a distributed setting.

{| width=100% border=1
|- valign=top
| width=50% |
==== Outline ====
<ol type="A">
<li></li>
</ol>
| width=50% |

==== Lecture Materials ====
* Lecture slides: {{eeci-sp08 pdf placeholder|L7_pbc.pdf|Distributed Estimation and Control}}
* Lecture notes: {{ncsbook|fusion|Chapter 6 - Distributed Estimation and Control}}

==== Additional Information ====

|}

==== Further Reading ====

← Older revision		Revision as of 01:09, 29 March 2008
Line 9:		Line 9:
	== Further Reading ==		== Further Reading ==
	* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l Conference on Robotics and Automation, 2004. </p>		* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l Conference on Robotics and Automation, 2004. </p>
	* <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE		* <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE Pervasive Computing'', 2004. </p>
	Pervasive Computing'', 2004. </p>

← Older revision		Revision as of 01:08, 29 March 2008
Line 8:		Line 8:

	== Further Reading ==		== Further Reading ==
	* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l		* <p>E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l Conference on Robotics and Automation, 2004. </p>
	Conference on Robotics and Automation, 2004. </p>		* <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE
	• <p>E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, ''IEEE
	Pervasive Computing'', 2004. </p>		Pervasive Computing'', 2004. </p>