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 20, 2012 | Submitted
Report Open

Patching task-level robot controllers based on a local µ-calculus formula

Abstract

We present a method for mending strategies for GR(1) specifications. Given the addition or removal of edges from the game graph describing a problem (essentially transition rules in a GR(1) specification), we apply a µ-calculus formula to a neighborhood of states to obtain a "local strategy" that navigates around the invalidated parts of an original synthesized strategy. Our method may thus avoid global resynthesis while recovering correctness with respect to the new specification. We illustrate the results both in simulation and on physical hardware for a planar robot surveillance task.

Additional Information

This work is partially supported by the Boeing Corporation, the Caltech Center for the Mathematics of Information (CMI), and a United Technologies Research Center postdoctoral fellowship.

Attached Files

Submitted - lpjm13-icra_s.pdf

Files

lpjm13-icra_s.pdf
Files (1.4 MB)
Name Size Download all
md5:efa568abf61b0ecc1b38e3a4aea4dce7
1.4 MB Preview Download

Additional details

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