Definição e especificação formal do jogo diferencial Lobos e Cordeiro

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: Sulzbach, Sirlei Ines
Orientador(a): Toscani, Laira Vieira
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituição
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Palavras-chave em Inglês:
Link de acesso: http://hdl.handle.net/10183/10546
Resumo: No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, será definido um modelo de especificação para o jogo diferencial lobos e cordeiro. As Redes de Petri foram escolhidas como forma de especificação para o jogo proposto. Assim, o objetivo será estabelecer estratégias eficientes para o jogo lobos e cordeiro para que se possa realizar um estudo da complexidade das questões apresentadas para este jogo, levando-se em consideração a especificação formal apresentada para tal jogo.
id URGS_1191dc9da5b52a232a1e1fb970825c02
oai_identifier_str oai:www.lume.ufrgs.br:10183/10546
network_acronym_str URGS
network_name_str Biblioteca Digital de Teses e Dissertações da UFRGS
repository_id_str
spelling Sulzbach, Sirlei InesToscani, Laira VieiraRibeiro, Leila2007-08-29T05:10:03Z2005http://hdl.handle.net/10183/10546000543246No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, será definido um modelo de especificação para o jogo diferencial lobos e cordeiro. As Redes de Petri foram escolhidas como forma de especificação para o jogo proposto. Assim, o objetivo será estabelecer estratégias eficientes para o jogo lobos e cordeiro para que se possa realizar um estudo da complexidade das questões apresentadas para este jogo, levando-se em consideração a especificação formal apresentada para tal jogo.In this work usual questions in differential games will be presented, in which the involved players have different objectives; that is, while one of the players tries "to run away", the other tries "to catch". Moreover, a specification for the differential game "wolves and lamb" will be defined. The Petri Nets had been chosen as specification formalism for the considered game. Thus, the objective is to establish efficient strategies for the game wolves and lamb so that we can carry out a study of the complexity of the presented questions, taking into consideration the presented formal specification for the game.application/pdfporTeoria da computaçãoTeoria : JogosRedes : PetriEspecificacao formalGame theoryDifferential gamesPetri netsFormal specificationDefinição e especificação formal do jogo diferencial Lobos e CordeiroDefinition and formal specification of the differential game wolfs and lamb info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2005mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000543246.pdf000543246.pdfTexto completoapplication/pdf1207438http://www.lume.ufrgs.br/bitstream/10183/10546/1/000543246.pdf85ba6555525c56dfac6cd55861dad3c3MD51TEXT000543246.pdf.txt000543246.pdf.txtExtracted Texttext/plain172071http://www.lume.ufrgs.br/bitstream/10183/10546/2/000543246.pdf.txtfb18ba59c916a81cc971936482cb728bMD52THUMBNAIL000543246.pdf.jpg000543246.pdf.jpgGenerated Thumbnailimage/jpeg1148http://www.lume.ufrgs.br/bitstream/10183/10546/3/000543246.pdf.jpg6227fa656847c911d1a0b73e1b63a204MD5310183/105462018-10-17 08:32:14.049oai:www.lume.ufrgs.br:10183/10546Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T11:32:14Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Definição e especificação formal do jogo diferencial Lobos e Cordeiro
dc.title.alternative.en.fl_str_mv Definition and formal specification of the differential game wolfs and lamb
title Definição e especificação formal do jogo diferencial Lobos e Cordeiro
spellingShingle Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Sulzbach, Sirlei Ines
Teoria da computação
Teoria : Jogos
Redes : Petri
Especificacao formal
Game theory
Differential games
Petri nets
Formal specification
title_short Definição e especificação formal do jogo diferencial Lobos e Cordeiro
title_full Definição e especificação formal do jogo diferencial Lobos e Cordeiro
title_fullStr Definição e especificação formal do jogo diferencial Lobos e Cordeiro
title_full_unstemmed Definição e especificação formal do jogo diferencial Lobos e Cordeiro
title_sort Definição e especificação formal do jogo diferencial Lobos e Cordeiro
author Sulzbach, Sirlei Ines
author_facet Sulzbach, Sirlei Ines
author_role author
dc.contributor.author.fl_str_mv Sulzbach, Sirlei Ines
dc.contributor.advisor1.fl_str_mv Toscani, Laira Vieira
dc.contributor.advisor-co1.fl_str_mv Ribeiro, Leila
contributor_str_mv Toscani, Laira Vieira
Ribeiro, Leila
dc.subject.por.fl_str_mv Teoria da computação
Teoria : Jogos
Redes : Petri
Especificacao formal
topic Teoria da computação
Teoria : Jogos
Redes : Petri
Especificacao formal
Game theory
Differential games
Petri nets
Formal specification
dc.subject.eng.fl_str_mv Game theory
Differential games
Petri nets
Formal specification
description No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, será definido um modelo de especificação para o jogo diferencial lobos e cordeiro. As Redes de Petri foram escolhidas como forma de especificação para o jogo proposto. Assim, o objetivo será estabelecer estratégias eficientes para o jogo lobos e cordeiro para que se possa realizar um estudo da complexidade das questões apresentadas para este jogo, levando-se em consideração a especificação formal apresentada para tal jogo.
publishDate 2005
dc.date.issued.fl_str_mv 2005
dc.date.accessioned.fl_str_mv 2007-08-29T05:10:03Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/10546
dc.identifier.nrb.pt_BR.fl_str_mv 000543246
url http://hdl.handle.net/10183/10546
identifier_str_mv 000543246
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 application/pdf
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Biblioteca Digital de Teses e Dissertações da UFRGS
collection Biblioteca Digital de Teses e Dissertações da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/10546/1/000543246.pdf
http://www.lume.ufrgs.br/bitstream/10183/10546/2/000543246.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/10546/3/000543246.pdf.jpg
bitstream.checksum.fl_str_mv 85ba6555525c56dfac6cd55861dad3c3
fb18ba59c916a81cc971936482cb728b
6227fa656847c911d1a0b73e1b63a204
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv lume@ufrgs.br||lume@ufrgs.br
_version_ 1810088713195094016