Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas

Detalhes bibliográficos
Autor(a) principal: Seibel, Conrado Werner
Data de Publicação: 2000
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/xmlui/handle/123456789/128515
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2000.
id UFSC_851fded8380d83d17131eb3bae5ca839
oai_identifier_str oai:repositorio.ufsc.br:123456789/128515
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladasEngenharia elétricaAeronave não tripuladaTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2000.Este trabalho descreve uma metodologia formal que objetiva garantir que aeronaves não­ tripuladas, quando operando de forma autônoma, apresentem um comportamento con­dizente com os objetivos da missão durante toda a duração da missão e, se impedidas de exibir tal comportamento, minimizam as conseqüências desta falha. Na fase de planeja­mento da missão, autômatos híbridos lineares são usados para modelar a aeronave utilizada e os recursos necessários à execução de uma missão (condições internas), o ambiente no qual a missão será realizada (condições externas) e um plano de vôo condizente com os objetivos da missão. O modelo resultante é utilizado para a construção de um plano de vôo contendo uma estratégia primária para a consecução dos objetivos da missão e com­portamentos alternativos para todas as situações passíveis ele serem encontradas durante a realização da missão. Durante a execução da missão, urn controlador de vôo reativo a bordo da aeronave é utilizado para selecionar um comportamento adequado com base no progresso da missão, no ambiente no qual a aeronave está operando e no estado interno da mesma.<br>Abstract : This work describes a formal methodology for mission planning and control for unmanned aerial vehides. Aircraft executing fiight plans developed with our rnethodology are guar­anted to comply with thc mission objectives at all times. If, for any rcason, the flight plan fails, it will fail in a controlled way. During rnission planning, we use linear hybrid automata to modcl thc choscn aircra.ft, thc rcsourccs nccclccl to pcrform a mission anel thc environrnent in which the aircraft will operate. We use the terrns "internal conditions" for the first two anel "external conditions" for the last one. We also model the flight plan itself with hybrid automata. The resulting model is used to construct complete fiight plans. A complete flight plan contains a primary fiight plan, aimed at achieving the mission objec­tives, anel a set of altemative fiight plans for all the possible situations that the aircraft couid encounter during the execution of the rnission. During rnission execution, a reactive, on-board flight controller is used to seiect the most appropriate behavior based on mission progress, external events frorn the enviromnent where the aircraft is operat.ing and the aircraft's internai status.Farines, Jean Marie AlexandreUniversidade Federal de Santa CatarinaSeibel, Conrado Werner2015-02-04T20:42:21Z2015-02-04T20:42:21Z2000info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis69 p.| il., grafs.application/pdf325582https://repositorio.ufsc.br/xmlui/handle/123456789/128515porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2015-02-04T20:42:21Zoai:repositorio.ufsc.br:123456789/128515Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732015-02-04T20:42:21Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
title Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
spellingShingle Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
Seibel, Conrado Werner
Engenharia elétrica
Aeronave não tripulada
title_short Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
title_full Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
title_fullStr Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
title_full_unstemmed Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
title_sort Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas
author Seibel, Conrado Werner
author_facet Seibel, Conrado Werner
author_role author
dc.contributor.none.fl_str_mv Farines, Jean Marie Alexandre
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Seibel, Conrado Werner
dc.subject.por.fl_str_mv Engenharia elétrica
Aeronave não tripulada
topic Engenharia elétrica
Aeronave não tripulada
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2000.
publishDate 2000
dc.date.none.fl_str_mv 2000
2015-02-04T20:42:21Z
2015-02-04T20:42:21Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 325582
https://repositorio.ufsc.br/xmlui/handle/123456789/128515
identifier_str_mv 325582
url https://repositorio.ufsc.br/xmlui/handle/123456789/128515
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 69 p.| il., grafs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652011825004544

Registros relacionados