EECI09: Distributed protocols and verification: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
m (EECI09: Distributed protocols moved to EECI09: Distributed protocols and verification)
No edit summary
 
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

Latest revision as of 19:01, 18 March 2009

Prev: Distributed estimation Course home Next: Future directions

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

Further Reading

  • E. Klavins, “A Computation and Control Language for Multi-Vehicle Systems”, Int’l Conference on Robotics and Automation, 2004.

  • E. Klavins and R. M. Murray, “Distributed Computation for Cooperative Control”, IEEE Pervasive Computing, 2004.


Additional Information

Retrieved from "https://murray.cds.caltech.edu/index.php?title=EECI09:_Distributed_protocols_and_verification&oldid=9223"