Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T06:54:46Z (GMT). No. of bitstreams: 1
229642.pdf: 913013 bytes, checksum: b91e4f245fcd6bd232b3b75341b7ea38 (MD5) / A resolução de diferentes problemas relacionados aos Sistemas a Eventos Discretos deu origem a duas classes de técnicas bem definidas. De um lado estão as técnicas de síntese automática de supervisores, cuja maior contribuição é a menor interação com o projetista durante o processo de cálculo. De outro lado, as técnicas de verificação formal, que permitem ao projetista verificar se uma dada especificação é válida para um sistema (controlado ou não). Dentro deste contexto, o presente trabalho contribui para a unificação destas técnicas, ao incorporar sistemas de equações escritas em µ-calculus ao processo de síntese de supervisores em sistemas modelados por redes de Petri. Após a etapa de determinação do comportamento minimamente restritivo, utiliza-se a Teoria das Regiões para implementar o supervisor por meio da adição de lugares de controle à rede de Petri que modela o comportamento do sistema em malha aberta. Para isto, utilizam-se alguns princípios das abordagens Ziller e Schneider e Ghaffari et al., em conjunto com alguns aspectos peculiares. O principal resultado é a proposta de uma nova metodologia tão flexível e computacionalmente eficiente quanto a abordagem Ramadge e Wonham, permitindo a resolução de alguns exemplos tratados na literatura. Ao herdar as boas características das abordagens anteriores, a metodologia proposta também pode ser generalizada, de forma que problemas não abordados diretamente pela abordagem Ramadge e Wonham possam ser tratados. Como principais ferramentas de apoio, foram utilizados os softwares Tina e MEC. Por último, são apresentadas perspectivas visando incorporar explicitamente aspectos temporais ao processo de síntese.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/88239 |
Date | January 2006 |
Creators | Braga, Rodrigo Pimenta Ferreira |
Contributors | Universidade Federal de Santa Catarina, Cury, Jose Eduardo R |
Publisher | Florianópolis, SC |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | xiii, 115 f.| il., tabs. |
Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0132 seconds