Loading [a11y]/accessibility-menu.js
Motion and action planning under LTL specifications using navigation functions and action description language | IEEE Conference Publication | IEEE Xplore
Scheduled Maintenance: On Tuesday, 25 February, IEEE Xplore will undergo scheduled maintenance from 1:00-5:00 PM ET (1800-2200 UTC). During this time, there may be intermittent impact on performance. We apologize for any inconvenience.

Motion and action planning under LTL specifications using navigation functions and action description language


Abstract:

We propose a novel framework to combine model-checking-based motion planning with action planning using action description languages, aiming to tackle task specifications...Show More

Abstract:

We propose a novel framework to combine model-checking-based motion planning with action planning using action description languages, aiming to tackle task specifications given as Linear Temporal Logic (LTL) formulas. The specifications implicitly require both sequential regions to visit and the desired actions to perform at these regions. The robot's motion is abstracted based on sphere regions of interest in the workspace and the structure of navigation function(NF)-based controllers, while the robot's action map is constructed based on precondition and effect functions associated with the actions. An optimal planner is designed that generates the discrete motion-and-action plan fulfilling the specification, as well as the low-level hybrid controllers that implement this plan. The whole framework is demonstrated by a case study.
Date of Conference: 03-07 November 2013
Date Added to IEEE Xplore: 02 January 2014
ISBN Information:

ISSN Information:

Conference Location: Tokyo, Japan

References

References is not available for this document.