State Validation in Automated Planning

Caio Rodrigues da Cruz, Mauricio Ferreira, Rodrigo Silva

Abstract

The crescent number of automated systems in satellites raises several security and reliability concerns, that are worsened with the time. Plan validation techniques were created to validate flight operation plans generated automatically. The execution of automatically generated plans on satellite flight operations can result in degraded or invalid states. Verifying the possibility of removing these states of a plan through a state validation technique is the objective of this paper. Analyzing the action that generated and, in planning time, remove the invalid states from the plan steps enables the planner to find the final state without any invalid state. Therefore, implementing a state validator in the automated planner prevents the plan from containing any invalid state.

Download


Paper Citation


in Harvard Style

Rodrigues da Cruz C., Ferreira M. and Silva R. (2020). State Validation in Automated Planning.In Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-758-423-7, pages 396-406. DOI: 10.5220/0009411903960406


in Bibtex Style

@conference{iceis20,
author={Caio Rodrigues da Cruz and Mauricio Ferreira and Rodrigo Silva},
title={State Validation in Automated Planning},
booktitle={Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2020},
pages={396-406},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009411903960406},
isbn={978-989-758-423-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 22nd International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - State Validation in Automated Planning
SN - 978-989-758-423-7
AU - Rodrigues da Cruz C.
AU - Ferreira M.
AU - Silva R.
PY - 2020
SP - 396
EP - 406
DO - 10.5220/0009411903960406