A Caltech Library Service

Hot-swapping robot task goals in reactive formal synthesis

Livingston, Scott C. and Murray, Richard M. (2014) Hot-swapping robot task goals in reactive formal synthesis. California Institute of Technology , Pasadena, CA. (Unpublished)

PDF - Accepted Version
See Usage Policy.


Use this Persistent URL to link to this item:


We consider the problem of synthesizing robot controllers to realize a task that unpredictably changes with time. Tasks are formally expressed in the GR(1) fragment of temporal logic, in which some of the variables are set by an adversary. The task changes by the addition or removal of goals, which occurs online (i.e., at run-time). We present an algorithm for mending control strategies to realize tasks after the addition of goals, while avoiding global re-synthesis of the strategy. Experiments are presented for a planar surveillance task in which new regions of interest are incrementally added. Run-times are empirically shown to be favorable compared to re-synthesizing from scratch. We also present an algorithm for mending control strategies for the removal of goals. While in this setting the original strategy is still feasible, our algorithm provides a more satisfying solution by "tightening loose ends.'' Both algorithms are shown to yield so-called reach annotations, and thus the control strategies are easily amenable to other algorithms concerning incremental synthesis, e.g., as in previous work by the authors for navigation in uncertain environments.

Item Type:Report or Paper (Technical Report)
Murray, Richard M.0000-0002-5785-7481
Contact Email
Additional Information:This is an extended version of a paper to be presented at the IEEE Conference on Decision and Control (CDC) in Los Angeles, USA, on 15-17 December 2014. This work is partially supported by the Boeing Corporation. The authors thank Vasumathi Raman for motivation.
Group:Control and Dynamical Systems Technical Reports
Funding AgencyGrant Number
Boeing CorporationUNSPECIFIED
Record Number:CaltechCDSTR:2014.001
Persistent URL:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:49894
Deposited By: SWORD User
Deposited On:22 Sep 2014 20:18
Last Modified:03 Oct 2019 07:18

Repository Staff Only: item control page