https://murray.cds.caltech.edu/index.php?action=history&feed=atom&title=Receding_Horizon_Temporal_Logic_Planning_for_Dynamical_Systems 2026-07-28T18:24:16Z Revision history for this page on the wiki MediaWiki 1.44.2 https://murray.cds.caltech.edu/index.php?title=Receding_Horizon_Temporal_Logic_Planning_for_Dynamical_Systems&diff=19793&oldid=prev 2016-05-15T06:16:39Z

<p>htdb2wiki: creating page for 2009d_wtm09-cdc.html</p> <p><b>New page</b></p><div>{{HTDB paper<br /> | authors = Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray<br /> | title = Receding Horizon Temporal Logic Planning for Dynamical Systems<br /> | source = Conference on Decision and Control (CDC)<br /> | year = 2009<br /> | type = Preprint<br /> | funding = <br /> | url = http://www.cds.caltech.edu/~murray/preprints/wtm09-cdc.pdf<br /> | abstract = This paper bridges the advances in computer science and control to allow automatic synthesis of complex dynamical systems which are guaranteed, by construction, to satisfy the desired properties even in the presence of adversary. The desired properties are expressed in the language of temporal logic. With its expressive power, a wider class of properties than safety and stability can be specified. The resulting system consists of a discrete planner which plans, in the abstracted discrete domain, a set of transitions of the system to ensure the correct behaviors and a continuous controller which continuously implements the plan. For a system with certain structure, we present an approach, based on a receding horizon scheme, to overcome computational difficulties in the synthesis of a discrete planner and allow more complex problems to be solved.<br /> | flags = <br /> | tag = wtm09-cdc<br /> | id = 2009d<br /> }}</div>

Murray