Repositório Digital

A- A A+

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

.

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

Mostrar registro completo

Estatísticas

Título Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Outro título Definition and formal specification of the differential game wolfs and lamb
Autor Sulzbach, Sirlei Ines
Orientador Toscani, Laira Vieira
Co-orientador Ribeiro, Leila
Data 2005
Nível Mestrado
Instituição Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.
Assunto Especificacao formal
Redes : Petri
Teoria : Jogos
Teoria da computação
[en] Differential games
[en] Formal specification
[en] Game theory
[en] Petri nets
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.
Abstract 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.
Tipo Dissertação
URI http://hdl.handle.net/10183/10546
Arquivos Descrição Formato
000543246.pdf (1.207Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.