A Caltech Library Service

Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis

Kress-Gazit, Hadas and Wongpiromsarn, Tichakorn and Topcu, Ufuk (2011) Correct, Reactive, High-Level Robot Control: Mitigating the State Explosion Problem of Temporal Logic Synthesis. IEEE Robotics and Automation Magazine, 18 (3). pp. 65-74. ISSN 1070-9932.

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item:


In this article, we presented an overview of how temporal logic synthesis, coupled with abstractions and continuous bisimilar controllers, can be used to generate high-level, reactive robot control. We illustrated the ideas using the DUC mission, and we presented two approaches to deal with the inherent state explosion problem.

Item Type:Article
Related URLs:
URLURL TypeDescription
Additional Information:© 2011 IEEE. Date of Current Version: 12 September 2011. This work was partially supported by ARO MURI SUBTLE W911NF-07-1-0216, AFOSR MURI grant FA9550-06-1-0303, and the Boeing Corporation.
Funding AgencyGrant Number
Army Research Office (ARO) Multidisciplinary University Research Initiative (MURI) SUBTLEW911NF-07-1-0216
Air Force Office of Scientific Research (AFOSR) Multidisciplinary University Research Initiative (MURI)FA9550-06-1-0303
Boeing CorporationUNSPECIFIED
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number12219009
Issue or Number:3
Record Number:CaltechAUTHORS:20111005-111758088
Persistent URL:
Official Citation:Kress-Gazit, H.; Wongpiromsarn, T.; Topcu, U.; , "Correct, Reactive, High-Level Robot Control," Robotics & Automation Magazine, IEEE , vol.18, no.3, pp.65-74, Sept. 2011 doi: 10.1109/MRA.2011.942116
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:26598
Deposited By: Ruth Sustaita
Deposited On:05 Oct 2011 18:43
Last Modified:03 Oct 2019 03:16

Repository Staff Only: item control page