https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=On_Synthesizing_Robust_Discrete_Controllers_under_Modeling_Uncertainty 2026-05-12T22:53:19Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=On_Synthesizing_Robust_Discrete_Controllers_under_Modeling_Uncertainty&diff=19745&oldid=prev 2016-05-15T06:15:55Z

<p>htdb2wiki: creating page for 2011q_tolm12-hscc.html</p> <p><b>New page</b></p><div>{{HTDB paper<br /> | authors = Ufuk Topcu, Necmiye Ozay, Jun Liu, and Richard M. Murray<br /> | title = On Synthesizing Robust Discrete Controllers under Modeling Uncertainty<br /> | source = Submitted, 2012 International Conf on Hybrid Systems: Computation and Control (HSCC)<br /> | year = 2011<br /> | type = Conference Paper<br /> | funding = Boeing, MuSyC<br /> | url = http://www.cds.caltech.edu/~murray/preprints/tolm12-hscc_s.pdf<br /> | abstract = <br /> We investigate the robustness of reactive control protocols synthesized to guarantee system’s correctness with respect to given temporal logic specifications. We consider uncertainties in open finite transition systems due to unmodeled transitions. The resulting robust synthesis problem is formulated as a temporal logic game. In particular, if the specification is in the so-called generalized reactivity [1] fragment of linear temporal logic, so is the augmented specification in the resulting robust synthesis problem. Hence, the robust synthesis problem belongs to the same complexity class with the nominal synthesis problem, and is amenable to polynomial time solvers. Additionally, we discuss reasoning about the effects of different levels of uncertainties on robust synthesizability and demonstrate the results on a simple robot motion planning scenario.<br /> | flags = <br /> | tag = tolm12-hscc<br /> | id = 2011q<br /> }}</div>

Murray