]> 2026-06-30T08:54:15+00:00 Receding Horizon Temporal Logic Planning for Dynamical Systems 0 en 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. Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M Murray 2009d Conference on Decision and Control (CDC) wtm09-cdc Preprint 2016-05-15T06:16:39Z 2457523.7615625 Receding Horizon Temporal Logic Planning for Dynamical Systems Title 102 en Title