A Comprehensive Approach to On-Board Autonomy Verification and Validation

Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei

doi:10.5591/978-1-57735-516-8/IJCAI11-400

A Comprehensive Approach to On-Board Autonomy Verification and Validation

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Andrei Tchaltsev

Download BibTeX Cite

Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence. Pages 2398-2402.

https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400

Abstract

Deep space missions are characterized by severely constrained communication links. To meet the needs of future missions and increase their scientific return, future space systems will require an increased level of autonomy on-board. In this work, we propose a comprehensive approach to on-board autonomy relying on model-based reasoning, and encompassing many important reasoning capabilities such as plan generation, validation, execution and monitoring, FDIR, and run-time diagnosis. The controlled platform is represented symbolically, and the reasoning capabilities are seen as symbolic manipulation of such formal model. We have developed a prototype of our framework, implemented within an on-board Autonomous Reasoning Engine. We have evaluated our approach on two case-studies inspired by real-world, ongoing projects, and characterized it in terms of reliability, availability and performance.

Marco Bozzano, Alessandro Cimatti, Marco Roveri, and Andrei Tchaltsev. 2011. A Comprehensive Approach to On-Board Autonomy Verification and Validation. In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11. IJCAI, 2398–2402. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400

@inproceedings{ijcai2011p400,
  title     = {A Comprehensive Approach to On-Board Autonomy Verification and Validation},
  author    = {Bozzano, Marco and Cimatti, Alessandro and Roveri, Marco and Tchaltsev, Andrei},
  booktitle = {Proceedings of the Twenty-Second International Joint Conference on
               Artificial Intelligence, {IJCAI-11}},
  publisher = {AAAI Press/International Joint Conferences on Artificial Intelligence},
  editor    = {Toby Walsh},
  pages     = {2398--2402},
  year      = {2011},
  month     = {7},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-400},
  url       = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400},
}

TY  - CPAPER
TI  - A Comprehensive Approach to On-Board Autonomy Verification and Validation
AU  - Bozzano, Marco
AU  - Cimatti, Alessandro
AU  - Roveri, Marco
AU  - Tchaltsev, Andrei
T2  - Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, IJCAI-11
PB  - AAAI Press/International Joint Conferences on Artificial Intelligence
PY  - 2011
SP  - 2398
EP  - 2402
DO  - 10.5591/978-1-57735-516-8/IJCAI11-400
UR  - https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400
ER  -