loading
Documents

Research.Publish.Connect.

Paper

Authors: Caio Rodrigues da Cruz 1 ; Mauricio Ferreira 1 and Rodrigo Silva 2

Affiliations: 1 Space Engineering and Technology, National Institute for Space Researches (INPE), São José dos Campos, Brazil ; 2 Centre for Informatics and Systems, University of Coimbra (CISUC), Coimbra, Portugal, FATEC Mogi das Cruzes, São Paulo Technological College, Mogi das Cruzes, Brazil

ISBN: 978-989-758-423-7

Keyword(s): Planning Preference, Invalid States, PDDL.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.187.106

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@conference{iceis20,
author={Caio Gustavo Rodrigues da Cruz. and Mauricio Goncalves Vieira Ferreira. and Rodrigo Rocha 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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.