Self-Maintenance for Autonomous Robots controlled by ReadyLog. Schiffer, S., Wortmann, A., & Lakemeyer, G. In Ingrand, F. & Guiochet, J., editors, Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments, pages 101–107, Toulouse, France, June 16-17, 2010. Paper abstract bibtex 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.
@inproceedings { SchifferEtAl:DRHE2010:SMaRT,
title = {{Self-Maintenance for Autonomous Robots controlled by ReadyLog}},
booktitle = {Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments},
year = {2010},
month = {June 16-17},
pages = {101--107},
address = {Toulouse, France},
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.},
keywords = {Autonomous Robots, ReadyLog, Self-Maintenance, Situation Calculus},
url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/DRHE2010smart.pdf},
author = {Schiffer, Stefan and Andreas Wortmann and Lakemeyer, Gerhard},
editor = {Felix Ingrand and Jeremie Guiochet}
}
Downloads: 0
{"_id":{"_str":"522b2767aa2f288d1f002ade"},"__v":1,"authorIDs":["2szSuFfs9MafNRd67","4xuwkAN7nPCAMNzHf","54575ce32abc8e9f37000307","54576ff92abc8e9f370003d0","58dfynaKtAENT9cH4","5de8996b2c5eb2df010000de","5de8cf119e80cdde01000138","5dea2854b5dcc6df01000199","5df7c58f92a8e4df01000119","5dfbf8574d4fb9de010001a3","5dffa5e6f16465df0100014f","5e159bbce8bfcff20100005e","5e183fe2bb35f5de01000077","5e1c5b5be556c6de0100016f","5e1ecc4f52ab76df01000171","5e20809180350bdf01000115","5e20a5b7bdda1fde01000179","5e29965efed3e7df0100004f","5e2ac0388319d5de01000156","5e2ee9e69033bede0100017f","5e3141635a3ceade0100014c","5e31563f8cf138de01000107","5e40172917f17dde0100029a","5e4262ff82b0c2de010000ff","5e44383be5a34dde0100015b","5e483ce700973ede01000025","5e4cca760cc7d3de01000086","5e50584cc708b1de0100012b","5e5670b4df3460df010000b4","5e5d3b7573eb2edf01000086","5e6a8f360e8744de01000102","6Jh3syL98hHpSWu6S","6KYm6sthg82iABu6p","6Q5igSDyKtjnw72as","DWc8C5RMKAEm6W5wx","FaTYSsvesqJLKtPef","Gcs9RCsvh8Hyn97ZN","PFJZ67Ahav7GY9N29","SqZqoeBZqnbSNdwxe","Th9jbA89wFSmvWBcc","a2Gv9Spw2CeaoyHEx","gKeviFc9xnzeQjzht","gMeNzvMudAEqjFiiX","nkgd6ekPnFftFxtN7","pAs8oLbgt7aaf9kAA","qkGZEsHcoggnbMpm4","spcssCfGoBC2pvSN5","vf22cpDWZrYX4x4w3","xezSR9ixeJATYXuiC","ywJqbJM8Yh4t8YkQ3"],"author_short":["Schiffer, S.","Wortmann, A.","Lakemeyer, G."],"bibbaseid":"schiffer-wortmann-lakemeyer-selfmaintenanceforautonomousrobotscontrolledbyreadylog-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Self-Maintenance for Autonomous Robots controlled by ReadyLog","booktitle":"Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments","year":"2010","month":"June 16-17","pages":"101–107","address":"Toulouse, France","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.","keywords":"Autonomous Robots, ReadyLog, Self-Maintenance, Situation Calculus","url_paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/DRHE2010smart.pdf","author":[{"propositions":[],"lastnames":["Schiffer"],"firstnames":["Stefan"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Wortmann"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"editor":[{"firstnames":["Felix"],"propositions":[],"lastnames":["Ingrand"],"suffixes":[]},{"firstnames":["Jeremie"],"propositions":[],"lastnames":["Guiochet"],"suffixes":[]}],"bibtex":"@inproceedings { SchifferEtAl:DRHE2010:SMaRT,\n title = {{Self-Maintenance for Autonomous Robots controlled by ReadyLog}},\n booktitle = {Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments},\n year = {2010},\n month = {June 16-17},\n pages = {101--107},\n address = {Toulouse, France},\n abstract = {In order to make a robot execute a given task plan\n more robustly we want to enable it to take care of\n its self-maintenance requirements during online\n execution of this plan. This requires the robot to\n know about the (internal) states of its components,\n constraints that restrict execution of actions and\n how to recover from faulty situations. The general\n idea is to implement a transformation process on the\n plans, which are specified in the agent programming\n language \\ReadyLog{}, to be performed based on\n explicit qualitative temporal\n constraints. Afterwards, a 'guarded' execution of\n the transformed program results in more robust\n behavior.},\n keywords = {Autonomous Robots, ReadyLog, Self-Maintenance, Situation Calculus},\n url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/DRHE2010smart.pdf},\n author = {Schiffer, Stefan and Andreas Wortmann and Lakemeyer, Gerhard},\n editor = {Felix Ingrand and Jeremie Guiochet}\n}\n\n","author_short":["Schiffer, S.","Wortmann, A.","Lakemeyer, G."],"editor_short":["Ingrand, F.","Guiochet, J."],"key":"SchifferEtAl:DRHE2010:SMaRT","id":"SchifferEtAl:DRHE2010:SMaRT","bibbaseid":"schiffer-wortmann-lakemeyer-selfmaintenanceforautonomousrobotscontrolledbyreadylog-2010","role":"author","urls":{" paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/DRHE2010smart.pdf"},"keyword":["Autonomous Robots","ReadyLog","Self-Maintenance","Situation Calculus"],"metadata":{"authorlinks":{"schiffer, s":"https://kbsg.rwth-aachen.de/~schiffer/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","downloads":0,"search_terms":["self","maintenance","autonomous","robots","controlled","readylog","schiffer","wortmann","lakemeyer"],"title":"Self-Maintenance for Autonomous Robots controlled by ReadyLog","title_words":["self","maintenance","autonomous","robots","controlled","readylog"],"year":2010,"keywords":["autonomous robots","readylog","self-maintenance","situation calculus"],"dataSources":["h8Pz4jiwoLbb3hmG2","dqRQPSg6Hy3ZXQg7z"]}