loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Caio Gustavo Rodrigues da Cruz 1 ; Mauricio Goncalves Vieira Ferreira 1 and Rodrigo Rocha 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

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.

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 3.133.119.66

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; ISSN 2184-4992, SciTePress, 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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - Rodrigues da Cruz, C.
AU - Ferreira, M.
AU - Silva, R.
PY - 2020
SP - 396
EP - 406
DO - 10.5220/0009411903960406
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic