By Topic

Temporal logic control in dynamic environments with probabilistic satisfaction guarantees

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
A. I. Medina Ayala ; Department of Mechanical Engineering, Boston University, MA, USA ; S. B. Andersson ; C. Belta

Mobile robotic systems move in environments that are constantly changing due to the presence of dynamic obstacles. In this work we consider one such environment in which the dynamic nature comes from doors that can open or close during the robot's mission. We derive a solution to the automatic deployment of a robot from a temporal logic specification assuming three different levels of knowledge and sensing capabilities of the robot. Under each one of these settings, the motion of the robot is modeled either as a Markov decision process (MDP) or mixed observability MDP. The objective is to find a control strategy that maximizes the probability of satisfying a specification given in Probabilistic Computation Tree Logic (PCTL). We describe an optimal solution in one setting and sub-optimal, reactive solutions in the other two. We illustrate our methods with simulation results.

Published in:

2011 IEEE/RSJ International Conference on Intelligent Robots and Systems

Date of Conference:

25-30 Sept. 2011