Uma abordagem para a síntese de supervisores de sistemas a eventos discretos a partir de modelo temporizado.
Ano de defesa: | 1999 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Universidade Federal de Campina Grande
Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UFCG |
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: | |
Link de acesso: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11211 |
Resumo: | Esse trabalho trata da síntese de supervisores para sistemas a eventos discretos. A abordagem proposta utiliza a teoria de controle supervisório em conjunto com as redes de Petri. Para a realização desta síntese são utilizados algoritmos para a enumeração do espaço de estados do modelo e para obtenção das funções de habilitação das transições da rede que representa o supervisor. A rede de Petri que modela o comportamento sistema a eventos discretos inclui a informação relativa aos tempos de execução das tarefas do sistema. Para tratar os modelos temporizados e desenvolvido um algoritmo para a construção do espaço de estados do modelo e e introduzida uma nova classe de rede de Petri que e utilizada para representar o supervisor. 0 trabalho também apresenta um algoritmo para converter o supervisor sintetizado em um programa a ser executado num controlador logico programável. A utilidade da metodologia proposta e demonstrada aplicando-a na síntese de supervisores para vários exemplos típicos de sistemas de manufatura. |