Self-Maintenance for Autonomous Robots controlled by ReadyLog

Title{Self-Maintenance for Autonomous Robots controlled by ReadyLog}
Publication TypeConference Paper
Year of Publication2010
AuthorsSchiffer, S., A. Wortmann, and G. Lakemeyer
Conference NameProceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments
Pagination101–107
Date PublishedJune 16-17
Conference LocationToulouse, France
EditorIngrand, F., and J. Guiochet
KeywordsAutonomous Robots, ReadyLog, Self-Maintenance, Situation Calculus
Abstract

In order to make a robot execute a given task plan more robustly we want to enable it to take care of its self-maintenance requirements during online execution of this plan. This requires the robot to know about the (internal) states of its components, constraints that restrict execution of actions and how to recover from faulty situations. The general idea is to implement a transformation process on the plans, which are specified in the agent programming language \ReadyLog{}, to be performed based on explicit qualitative temporal constraints. Afterwards, a 'guarded' execution of the transformed program results in more robust behavior.

Citation Key SchifferEtAl:DRHE2010:SMaRT
AttachmentSize
DRHE2010smart.pdf212.81 KB
Submitted by stf on 9. August 2010 - 8:40