<?xml version="1.0" encoding="ISO-8859-1"?>
<metadatalist>
	<metadata ReferenceType="Conference Proceedings">
		<site>mtc-m16d.sid.inpe.br 806</site>
		<holdercode>{isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}</holdercode>
		<identifier>8JMKD3MGP7W/3CCLUUP</identifier>
		<repository>sid.inpe.br/mtc-m19/2012/08.01.14.59</repository>
		<lastupdate>2012:08.01.16.07.23 sid.inpe.br/mtc-m19@80/2009/08.21.17.02 marciana</lastupdate>
		<metadatarepository>sid.inpe.br/mtc-m19/2012/08.01.14.59.03</metadatarepository>
		<metadatalastupdate>2021:02.11.21.05.43 sid.inpe.br/bibdigital@80/2006/04.07.15.50 administrator</metadatalastupdate>
		<secondarykey>INPE--PRE/</secondarykey>
		<citationkey>IvoFerrSantAmbr:2012:ApVaPl</citationkey>
		<title>An approach to validation plans for satellite control generated with planners systems based autonomous artificial intelligence</title>
		<year>2012</year>
		<secondarytype>PRE CI</secondarytype>
		<numberoffiles>1</numberoffiles>
		<size>457 KiB</size>
		<author>Ivo, André A. de Souza,</author>
		<author>Ferreira, Mauricio G. Vieira,</author>
		<author>Sant'Anna, Nilson,</author>
		<author>Ambrosio, Ana Maria,</author>
		<group></group>
		<group>CRC-CRC-INPE-MCTI-GOV-BR</group>
		<group>LAC-CTE-INPE-MCTI-GOV-BR</group>
		<group>DSS-ETE-INPE-MCTI-GOV-BR</group>
		<affiliation></affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<affiliation>Instituto Nacional de Pesquisas Espaciais (INPE)</affiliation>
		<conferencename>International Conference on Space Operations, ( SpaceOps), 12</conferencename>
		<conferencelocation>Stockholm,</conferencelocation>
		<date>11-15 June 2012</date>
		<booktitle>Proceedings</booktitle>
		<tertiarytype>Poster</tertiarytype>
		<transferableflag>1</transferableflag>
		<contenttype>External Contribution</contenttype>
		<versiontype>publisher</versiontype>
		<abstract>The scheduling or autonomous planning is one of the areas of artificial intelligence (IA), which develops the process to define the sequence of actions to achieve the objectives established through computational methods. Through an initiative of the ESA (European Space Agency) emerges the SPASS (Software Product Assurance for Autonomy Spacecraft on-board), a project that resulted in a job that recommends extensive testing and use of simulation techniques, with application of two software components, the plausibility checker and bag security, proposed by (Blanquart, 2004). The purpose of this paper is to show a theoretical approach to implemente a plausibility checker and safety bag as described by (Blanquart, 2004).</abstract>
		<area>ETES</area>
		<targetfile>id1293853-Paper-003Ivo.pdf</targetfile>
		<usergroup>marciana</usergroup>
		<visibility>shown</visibility>
		<readpermission>allow from all</readpermission>
		<documentstage>not transferred</documentstage>
		<mirrorrepository>sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53</mirrorrepository>
		<nexthigherunit>8JMKD3MGPCW/3ESGTTP</nexthigherunit>
		<nexthigherunit>8JMKD3MGPCW/3F3PAJE</nexthigherunit>
		<nexthigherunit>8JMKD3MGPCW/446B2HE</nexthigherunit>
		<citingitemlist>sid.inpe.br/bibdigital/2021/02.11.21.02 3</citingitemlist>
		<citingitemlist>sid.inpe.br/bibdigital/2013/10.19.00.29 2</citingitemlist>
		<hostcollection>sid.inpe.br/mtc-m19@80/2009/08.21.17.02</hostcollection>
		<username>marciana</username>
		<agreement>agreement.html .htaccess .htaccess2</agreement>
		<lasthostcollection>sid.inpe.br/mtc-m19@80/2009/08.21.17.02</lasthostcollection>
		<url>http://mtc-m16d.sid.inpe.br/rep-/sid.inpe.br/mtc-m19/2012/08.01.14.59</url>
	</metadata>
</metadatalist>