<?xml version="1.0" encoding="ISO-8859-1"?>
<metadatalist>
	<metadata ReferenceType="Thesis">
		<site>mtc-m21c.sid.inpe.br 806</site>
		<holdercode>{isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}</holdercode>
		<identifier>8JMKD3MGP3W34R/446GAE8</identifier>
		<repository>sid.inpe.br/mtc-m21c/2021/02.13.01.58</repository>
		<lastupdate>2021:06.01.14.36.32 urlib.net/www/2017/11.22.19.04 simone</lastupdate>
		<metadatarepository>sid.inpe.br/mtc-m21c/2021/02.13.01.58.15</metadatarepository>
		<metadatalastupdate>2022:04.03.19.26.52 sid.inpe.br/bibdigital@80/2006/04.07.15.50 administrator</metadatalastupdate>
		<secondarykey>INPE-18424-TDI/3074</secondarykey>
		<citationkey>Cruz:2021:PlAuOp</citationkey>
		<title>Planejamento automático de operação de satélites com predição de estados inválidos</title>
		<alternatetitle>Automatic satellite operation planning with prediction of invalid states</alternatetitle>
		<course>CSE-ETES-DIPGR-INPE-MCTI-GOV-BR</course>
		<year>2021</year>
		<date>2021-03-04</date>
		<thesistype>Dissertação (Mestrado em Engenharia e Gerenciamento de Sistemas Espaciais)</thesistype>
		<secondarytype>TDI</secondarytype>
		<numberofpages>83</numberofpages>
		<numberoffiles>1</numberoffiles>
		<size>6359 KiB</size>
		<author>Cruz, Caio Gustavo Rodrigues da,</author>
		<committee>Santos, Walter Abrahão dos (presidente),</committee>
		<committee>Ferreira, Maurício Gonçalves Vieira (orientador),</committee>
		<committee>Silva, Rodrigo Rocha (orientador),</committee>
		<committee>Ambrosio, Ana Maria,</committee>
		<committee>Bernardino, Jorge Fernandes Rodrigues,</committee>
		<e-mailaddress>caio.cruz2@fatec.sp.gov.br</e-mailaddress>
		<university>Instituto Nacional de Pesquisas Espaciais (INPE)</university>
		<city>São José dos Campos</city>
		<transferableflag>1</transferableflag>
		<keywords>planejamento automático, estados inválidos, classificação de dados, PDDL, sistemas de informação, automated planning, invalid states, machine learning, information systems.</keywords>
		<abstract>O aumento do uso de sistemas automatizados em missões espaciais fez com que aspectos como segurança e confiabilidade das operações espaciais sejam tratados com maior cautela devido à habitual degradação de um satélite durante seu tempo de operação. Em diversos trabalhos na literatura que têm como objetivo o planejamento automático, observa-se que planos são gerados com estados inválidos. O estado inválido pode ser compreendido como um cenário proibido ou que coloque em risco a operação que demanda o planejamento automático. Nesse contexto, este trabalho tem como objetivo apresentar uma nova arquitetura de planejamento com restrições. Para que planejadores automáticos não gerem planos com estados inválidos, foi proposta a adição de um método responsável por validar estados no software planejador. O método de validação proposto tem como base uma nova representação de restrições, que é configurada por meio de um processo de aprendizagem de máquina. Desta maneira, o planejamento automático para a área espacial pode ser beneficiado pela arquitetura apresentada neste trabalho, já que a base de dados da operação de um satélite pode ser utilizada para configurar restrições, gerar planos com maior qualidade e aumentar a segurança da operação. Através do estudo de caso realizado, observa-se que a validação dos estados inválidos possibilita que o planejador cumpra as restrições e garanta que o objetivo do problema seja alcançado com apenas estados permitidos. Por fim, é possível concluir que os planos gerados com base na utilização da arquitetura apresentada nesta dissertação contribuem para que as restrições emergentes do domínio da área espacial, como a queima de um subsistema, sejam representadas e cumpridas no planejamento automático. ABSTRACT: The increase in the use of automated systems in space missions has made that aspects such as safety and reliability of space operations are treated with greater caution due to the natural degradation of a satellite during its operating time. In several works in literature that focus on automatic planning, it is observed that plans are generated with invalid states. The invalid state can be understood as a prohibited scenario or one that jeopardizes the operation that requires automatic planning. In this context, this work aims to present a new planning architecture with restrictions. In order for automatic planners to not generate plans with invalid states, it was proposed to add a method that is responsible for the validation of states in the planner software. The proposed validation method is based on a new representation of restrictions, which is configured through a machine learning process. In this way, the automatic planning for space can be benefited by the architecture presented in this work, since the knowledge base of operation of a satellite can be used to configure restrictions, generate plans with higher quality and increase the security of the operation. Through the experiments carried out, it is observed that the validation of invalid states enables the planner to comply with the restrictions and ensure that the objective of the problem is achieved with only allowed states. Finally, it is possible to conclude that the plans generated based on the use of the architecture presented in this thesis, contributes so that the restrictions emerging from the domain of the space area, such as the burning of a subsystem, are represented and fulfilled in the automatic planning.</abstract>
		<area>ETES</area>
		<language>pt</language>
		<targetfile>publicacao.pdf</targetfile>
		<usergroup>caio.cruz@inpe.br</usergroup>
		<usergroup>pubtc@inpe.br</usergroup>
		<usergroup>simone</usergroup>
		<visibility>shown</visibility>
		<copyright>urlib.net/www/2012/11.12.15.10</copyright>
		<rightsholder>originalauthor yes</rightsholder>
		<readpermission>allow from all</readpermission>
		<documentstage>not transferred</documentstage>
		<mirrorrepository>urlib.net/www/2017/11.22.19.04.03</mirrorrepository>
		<nexthigherunit>8JMKD3MGPCW/3F35BSP</nexthigherunit>
		<nexthigherunit>8JMKD3MGPCW/46KTFK8</nexthigherunit>
		<citingitemlist>sid.inpe.br/bibdigital/2013/10.14.22.20 3</citingitemlist>
		<hostcollection>urlib.net/www/2017/11.22.19.04</hostcollection>
		<agreement>autorizacao.pdf .htaccess .htaccess2</agreement>
		<lasthostcollection>urlib.net/www/2017/11.22.19.04</lasthostcollection>
		<supervisor>Silva, Rodrigo Rocha,</supervisor>
		<supervisor>Ferreira, Maurício Gonçalves Vieira,</supervisor>
		<url>http://mtc-m21c.sid.inpe.br/rep-/sid.inpe.br/mtc-m21c/2021/02.13.01.58</url>
	</metadata>
</metadatalist>