Redes de petri híbridas diferenciais: aplicação na modelagem e no gerenciamento dinâmico de energia de redes de sensores sem fio

• Autor(a) principal: Sousa,J. R. B.
• Data de Publicação: 2007
• Outros Autores: Sausen,P. S., Lima,A. M. N., Perkusich,A.
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Sba: Controle & Automação Sociedade Brasileira de Automatica
• Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0103-17592007000300002
• topic: Sistemas Híbridos; Redes de Petri; Redes de Sensores Sem Fio; Gerenciamento Dinâmico de Energia

Neste trabalho é apresentado um formalismo denominado Redes de Petri Híbridas Diferenciais para modelar e simular sistemas híbridos. Ele baseia-se nos principais elementos da semântica do autômato híbrido e no poder de modelagem das redes de Petri. Considerando que Redes de Sensores Sem Fio são sistemas híbridos, este formalismo é aplicado na modelagem de uma técnica de Gerenciamento Dinâmico de energia que baseia-se na Capacidade da bateria (GDC). Portanto, ao levar em conta as interações entre as dinâmicas destas redes obtém-se resultados mais realistas no estudo do consumo de energia. A técnica GDC proposta, em função da capacidade da bateria, define a freqüência de desligamento do nó sensor para permitir a recuperação da capacidade da bateria. Além disto, ela minimiza o tempo de desligamento do nó sensor, ao mesmo tempo que distribui esse tempo ao longo dos ciclos de trabalho do mesmo. Os resultados obtidos mostram que a técnica GDC proposta prolonga o tempo de vida do nó sensor.