Planning And Verification Techniques For The High Level Programming And Monitoring Of Autonomous Robotic Devices (2001)
| Citations: | 4 - 1 self |
BibTeX
@MISC{Aiello01planningand,
author = {L. Carlucci Aiello and Amedeo Cesta and Enrico Giunchiglia and Marco Pistore and Paulo Traverso},
title = {Planning And Verification Techniques For The High Level Programming And Monitoring Of Autonomous Robotic Devices},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Autonomy and safety are two major compelling requirements for space applications. From one side, real-life experiments with space missions have recently shown that planning techniques can provide in practice the desired level of autonomy. From the other side, they have also shown the need for planning techniques that guarantee a high level of safety. In this paper we describe a prototype system based on the idea of "Planning as Model-Checking". The system allows both for the validation and for the automatic generation of "safe plans", i.e. plans that are guarantee to satisfy user-defined (safety) requirements. This work has been done within SACSO (SAfety Critical SOftware for planning in space robotics), an on-going three years project funded by the Italian Space Agency (ASI).
