https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=EECI_2012%3A_Verification_of_Control_Protocols 2026-04-14T18:30:14Z Revision history for this page on the wiki MediaWiki 1.41.5 https://murray.cds.caltech.edu/index.php?title=EECI_2012:_Verification_of_Control_Protocols&diff=13928&oldid=prev 2012-04-25T17:38:52Z

<p>Created page with &#039;{{AFRL12 header|prev=Control-Theoretic Tools|next=Synthesis of Reactive Control Protocols }} {{righttoc}} This lecture will present examples of the design and verification of p…&#039;</p> <p><b>New page</b></p><div>{{AFRL12 header|prev=Control-Theoretic Tools|next=Synthesis of Reactive Control Protocols }}<br /> <br /> {{righttoc}}<br /> This lecture will present examples of the design and verification of protocol synthesis for distributed embedded systems in the context of autonomy. We begin with consideration of control protocols for cooperation and decision making in multi-agent systems, as illustrated by the RoboFlag example introduced in the first lecture. We show how to implement a simple protocol for distributed target assignment in a simplified version of the problem (the &quot;RoboFlag drill&quot;) and prove stability of the protocol. We also look at distributed systems that involve a single vehicle (Alice) that is using multiple computers to implement its control functionality. <br /> <br /> == Lecture Materials ==<br /> * Lecture notes: [http://www.cds.caltech.edu/~murray/courses/afrl-sp12/L5_protanal-25Apr12.pdf Verification of Control Protocols]<br /> <br /> == Further Reading ==<br /> * &lt;p&gt; [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1271797 A Computation and Control Language for Multi-Vehicle Systems], E. Klavins. Int’l Conference on Robotics and Automation, 2004. &lt;/p&gt;<br /> * &lt;p&gt; [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1269132 Distributed Algorithms for Cooperative Control], E. Klavins and R. M. Murray. &#039;&#039;IEEE Pervasive Computing&#039;&#039;, 2004. &lt;/p&gt;<br /> <br /> == Additional Information ==</div>

Murray