Modelagem de sistemas de eventos discretos utilizando rede de Petri virtual
Texto
Documentos relacionados
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