%0 Conference Proceedings
%4 sid.inpe.br/mtc-m19/2012/08.01.14.59
%2 sid.inpe.br/mtc-m19/2012/08.01.14.59.03
%T An approach to validation plans for satellite control generated with planners systems based autonomous artificial intelligence
%D 2012
%A Ivo, André A. de Souza,
%A Ferreira, Mauricio G. Vieira,
%A Sant'Anna, Nilson,
%A Ambrosio, Ana Maria,
%@affiliation
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%B International Conference on Space Operations, ( SpaceOps), 12
%C Stockholm,
%8 11-15 June 2012
%S Proceedings
%X 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).
%3 id1293853-Paper-003Ivo.pdf