Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published September 12, 2011 | public
Journal Article

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

Abstract

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.

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.

Additional details

Created:
August 19, 2023
Modified:
October 24, 2023