<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Schiffer, Stefan</style></author><author><style face="normal" font="default" size="100%">Andreas Wortmann</style></author><author><style face="normal" font="default" size="100%">Lakemeyer, Gerhard</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Felix Ingrand</style></author><author><style face="normal" font="default" size="100%">Jeremie Guiochet</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">{Self-Maintenance for Autonomous Robots controlled by ReadyLog}</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Autonomous Robots</style></keyword><keyword><style  face="normal" font="default" size="100%">ReadyLog</style></keyword><keyword><style  face="normal" font="default" size="100%">Self-Maintenance</style></keyword><keyword><style  face="normal" font="default" size="100%">Situation Calculus</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2010</style></year><pub-dates><date><style  face="normal" font="default" size="100%">June 16-17</style></date></pub-dates></dates><urls><related-urls><url><style face="normal" font="default" size="100%">http://www-kbsg.informatik.rwth-aachen.de/sites/kbsg/files/DRHE2010smart.pdf</style></url></related-urls></urls><pub-location><style face="normal" font="default" size="100%">Toulouse, France</style></pub-location><pages><style face="normal" font="default" size="100%">101–107</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">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.</style></abstract></record></records></xml>