Abstract
We present a method to specify tasks and synthesise cost-optimal policies for Markov decision processes using co-safe linear temporal logic. Our approach incorporates a dynamic task handling procedure which allows for the addition of new tasks during execution and provides the ability to re-plan an optimal policy on-the-fly. This new policy minimises the cost to satisfy the conjunction of the current tasks and the new one, taking into account how much of the current tasks has already been executed. We illustrate our approach by applying it to motion planning for a mobile service robot.
Original language | English |
---|---|
Title of host publication | IEEE International Conference on Intelligent Robots and Systems |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Pages | 1511-1516 |
Number of pages | 6 |
ISBN (Print) | 9781479969340 |
DOIs | |
Publication status | Published - 31 Oct 2014 |
Event | 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014 - Chicago, United States Duration: 14 Sept 2014 → 18 Sept 2014 |
Conference
Conference | 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014 |
---|---|
Country/Territory | United States |
City | Chicago |
Period | 14/09/14 → 18/09/14 |
ASJC Scopus subject areas
- Control and Systems Engineering
- Software
- Computer Vision and Pattern Recognition
- Computer Science Applications