Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos

AUTOR(ES)

Ana Paula Salengue Scolari

DATA DE PUBLICAÇÃO

2006

RESUMO

Formalismos de modelagem são linguagens capazes de descrever sistemas de forma não ambígüa, permitindo a sua avaliação quantitativa. Os formalismos conhecidos como estruturados permitem a representação sistemática de modelos grandes e complexos. Entretanto, na prática, a modelagem de sistemas de tal porte pode apresentar o problema de explosão do espaço de estados. Em geral, a modelagem de sistemas através de formalismos estruturados, com espaço de estados discreto, resulta em um grande número de estados inatingíveis. A geração e armazenamento dos estados não atingíveis é um ônus não desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espaço de estados atingível (RSS) para o formalismo de Redes de Autômatos Estocásticos (SAN) utilizando Diagramas de Decisão Multi-Valorada (MDD). A idéia principal é apresentar uma primeira versão desse algoritmo, a m de comprovar a sua viabilidade para o formalismo SAN.

ASSUNTO(S)

algoritmos informÁtica redes de autÔmatos estocÁsticos ciencia da computacao modelagem de sistemas avaliaÇÃo de desempenho (informÁtica) redes de petri

Documentos Relacionados

• Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
• Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
• Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
• Representação em espaço de estados para a flexibilidade de roteamento
• Representação ternária em algoritmos evolutivos para a obtenção de autômatos celulares binários