https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=Contracts_of_Reactivity 2026-07-27T23:43:50Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=Contracts_of_Reactivity&diff=24293&oldid=prev 2021-09-05T02:03:19Z

<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 02:03, 5 September 2021</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=pm19-formats</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=pm19-formats</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=DENSO CPM, NSF VeHICaL</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=DENSO CPM, NSF VeHICaL</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> <!-- diff cache key acs_math_mw_144-murraycds_:diff:1.41:old-22748:rev-24293:php=table --> </table>

Murray https://murray.cds.caltech.edu/index.php?title=Contracts_of_Reactivity&diff=22748&oldid=prev 2019-06-10T00:21:14Z

<p>Created page with &quot;{{Paper |Title=Contracts of Reactivity |Authors=Tung Phan-Minh and Richard M. Murray |Source=Submitted, Int&#039;l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2...&quot;</p> <p><b>New page</b></p><div>{{Paper<br /> |Title=Contracts of Reactivity<br /> |Authors=Tung Phan-Minh and Richard M. Murray<br /> |Source=Submitted, Int&#039;l Conf on Formal Modeling and Analysis of Timed Systems (FORMATS) 2019<br /> |Abstract=We present a theory of contracts that is centered around reacting to failures and explore it from a general assume-guarantee perspective as well as from a concrete context of automated synthesis from linear temporal logic (LTL) specifications, all of which are compliant with a contract metatheory introduced by Benveniste et al. We also show how to obtain an automated procedure for synthesizing reactive assume-guarantee contracts and implementations that capture ideas like optimality and robustness based on assume-guarantee lattices computed from antitone Galois connection fixpoints. Lastly, we provide an example of a “reactive GR(1)” contract and a simulation of its implementation.<br /> |URL=http://www.cds.caltech.edu/~murray/preprints/pm19-formats_s.pdf<br /> |Type=Conference paper<br /> |ID=2019g<br /> |Tag=pm19-formats<br /> |Funding=DENSO CPM, NSF VeHICaL<br /> }}</div>

Murray