https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=HYCON-EECI%2C_Spring_2011
HYCON-EECI, Spring 2011 - Revision history
2026-06-30T13:39:36Z
Revision history for this page on the wiki
MediaWiki 1.44.2
https://murray.cds.caltech.edu/index.php?title=HYCON-EECI,_Spring_2011&diff=12028&oldid=prev
Murray at 06:40, 7 February 2011
2011-02-07T06:40:17Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 06:40, 7 February 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><table width="100%" cellspacing=0></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><table width="100%" cellspacing=0></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><td rowspan=<del style="font-weight: bold; text-decoration: none;">3 </del>align=center> [[Image:eecilogo<del style="font-weight: bold; text-decoration: none;">.png</del>.png|90px]]</td></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><td rowspan=<ins style="font-weight: bold; text-decoration: none;">4 </ins>align=center> [[Image:eecilogo.png|90px]]</td></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><td align=center><font color='blue' size='+2'>Specification, Design, and Verification <br> <del style="font-weight: bold; text-decoration: none;">of Distributed Embedded Systems</del></font></td></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><td align=center><font color='blue' size='+2'>Specification, Design, and Verification <br> <ins style="font-weight: bold; text-decoration: none;">&nbsp;</ins></font></td></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><td rowspan=<del style="font-weight: bold; text-decoration: none;">3 </del>align=center"> [[Image:cdslogo.png|90px]]</td></tr></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><td rowspan=<ins style="font-weight: bold; text-decoration: none;">4 </ins>align=center"> [[Image:cdslogo.png|90px]]<ins style="font-weight: bold; text-decoration: none;"></td></tr></ins></div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"><tr><td align=center><font color='blue' size='+2'>of Distributed Embedded Systems<br> &nbsp; </font></ins></td></tr></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top><td align=center><font color='blue' size='+0'><p>21-25 March 2011</p></font></td></tr></div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div><tr valign=top><td align=center><font color='blue' size='+0'><p>21-25 March 2011</p></font></td></tr></div></td></tr>
</table>
Murray
https://murray.cds.caltech.edu/index.php?title=HYCON-EECI,_Spring_2011&diff=12027&oldid=prev
Murray: Created page with '<table width="100%" cellspacing=0> <tr valign=top> <td rowspan=3 align=center> 90px</td> <td align=center><font color='blue' size='+2'>Specification, D…'
2011-02-07T06:37:43Z
<p>Created page with '<table width="100%" cellspacing=0> <tr valign=top> <td rowspan=3 align=center> <a href="/index.php?title=File:Eecilogo.png.png&action=edit&redlink=1" class="new" title="File:Eecilogo.png.png (page does not exist)">90px</a></td> <td align=center><font color='blue' size='+2'>Specification, D…'</p>
<p><b>New page</b></p><div><table width="100%" cellspacing=0><br />
<tr valign=top><br />
<td rowspan=3 align=center> [[Image:eecilogo.png.png|90px]]</td><br />
<td align=center><font color='blue' size='+2'>Specification, Design, and Verification <br> of Distributed Embedded Systems</font></td><br />
<td rowspan=3 align=center"> [[Image:cdslogo.png|90px]]</td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p> Richard M. Murray, Ufuk Topcu, and Nok Wongpiromsarn </p></font></td></tr><br />
<tr valign=top><td align=center><font color='blue' size='+0'><p>21-25 March 2011</p></font></td></tr><br />
</table><br />
<br />
== Course Description ==<br />
<br />
Increases in fast and inexpensive computing and communications have enabled a new generation of information-rich control systems that rely on multi-threaded networked execution, distributed optimization, sensor fusion and protocol stacks in increasingly sophisticated ways. This course will provide working knowledge of a collection of methods and tools for specifying, designing and verifying distributed embedded systems. We combine methods from computer science (temporal logic, model checking, synthesis of control protocols) with those from dynamical systems and control (Lyapunov functions, sum-of-squares certificates, receding horizon control) to analyze and design partially asynchronous control protocols for continuous systems. In addition to introducing the mathematical techniques required to formulate problems and prove properties, we also describe a software toolbox that is designed for analyzing and synthesizing hybrid control systems using linear temporal logic and robust performance specifications.<br />
<br />
== Course information ==<br />
* [http://www.cds.caltech.edu/~utopcu/index.php/HYCON-EECI,_Spring_2011 Course home page]<br />
* Instructors: [http://www.cds.caltech.edu/~murray/wiki/Main_Page Richard M. Murray] (Caltech, CDS) and [http://www.cds.caltech.edu/~utopcu/index.php/Main_Page Ufuk Topcu] (Caltech, CDS), and [http://www.cds.caltech.edu/~nok/ Nok Wongpiromsarn] (MIT-Singapore)<br />
* Date and location: 21-25 March 2011, SUPELEC (South of Paris)<br />
* Sponsor: [http://www.eeci-institute.eu/GSC2011 HYCON-EECI Graduate School on Control]<br />
<br />
[[Category:Courses]]<br />
[[Category:2010-11 Courses]]</div>
Murray