Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual

Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a

[r]

Seguindo a fundamentação matemática desse teorema, propõe-se a am- pliação da proposta inicial em RP, para redes de Petri colo- ridas (RPC), apresentando o método de cálculo

Em seguida, apresenta-se uma ferramenta computacio- nal eficiente para o problema de verificar se uma abs- tra¸c˜ ao satisfaz a propriedade de observador (OP); esta propriedade tem

As me- todologias desenvolvidas para a diagnose de falhas de SEDs podem ser aplicadas não só a sistemas em que o modelo por eventos discretos é o mais apropriado (redes de comunicação

Apresenta-se agora um exemplo dos experimentos realizados para se determinar a influência de eventos instantâneos no desempenho da simulação onde, utilizou-se dois simuladores com

De maneira geral, o controle multivariável (que observa e atua sobre transições internas do sistema) permite uma ação de controle mais localizada, em pontos de menor interdepen-

Este trabalho apresenta novos resultados (notadamente so- bre as condições de excitação do sistema) para o método de identificação paramétrica de SEDMpl com uma entrada e uma