https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=Model_Predictive_Control_for_Signal_Temporal_Logic_Specifications 2026-05-20T14:34:42Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=Model_Predictive_Control_for_Signal_Temporal_Logic_Specifications&diff=20360&oldid=prev 2016-06-10T06:08:16Z

<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:08, 10 June 2016</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l9">Line 9:</td> <td colspan="2" class="diff-lineno">Line 9:</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>|Tag=ram+16-tac</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>|Tag=ram+16-tac</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>|Funding=SRC TerraSwarm</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>|Funding=SRC TerraSwarm</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;">|Flags=NCS</ins></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>}}</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>}}</div></td></tr> </table>

Murray https://murray.cds.caltech.edu/index.php?title=Model_Predictive_Control_for_Signal_Temporal_Logic_Specifications&diff=20246&oldid=prev 2016-05-16T22:10:25Z

<p>Created page with &quot;{{Paper |Title=Model Predictive Control for Signal Temporal Logic Specifications |Authors=Vasumathi Raman, Alexandre Donze ́, Mehdi Maasoumy, Richard M. Murray, Alberto Sangi...&quot;</p> <p><b>New page</b></p><div>{{Paper<br /> |Title=Model Predictive Control for Signal Temporal Logic Specifications<br /> |Authors=Vasumathi Raman, Alexandre Donze ́, Mehdi Maasoumy, Richard M. Murray, Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia<br /> |Source=Submitted, IEEE T. Automatic Control (2 Jan 2016)<br /> |Abstract=We present a mathematical programming-based method for model predictive control of cyber-physical systems subject to signal temporal logic (STL) specifications. We describe the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness. For synthesis, we encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a receding horizon control framework. We prove correctness of our algorithms, and present experimental results for controller synthesis for building energy and climate control.<br /> |URL=http://www.cds.caltech.edu/~murray/preprints/ram+16-tac_s.pdf<br /> |Type=Journal submission<br /> |ID=2016a<br /> |Tag=ram+16-tac<br /> |Funding=SRC TerraSwarm<br /> }}</div>

Murray