Details

Redução de supervisores utilizando marcação por eventos e métodos de otimização

by Assis Carvalho, Francisco de

Abstract (Summary)
Este trabalho tem como objetivo enunciar organizadamente as diferentes abordagens de síntese de supervisores em sistemas a eventos discretos (supervisor não-marcador, supervisor marcador e supervisor desmarcador) e reluzi-los utilizando métodos de otimização como Programação Linear Inteira Mista (PLIM) e Algoritmos Genéticos (AG). Para tal, propõe-se uma metodologia original para se representar a marcação de estados por meio de eventos de marcação e reduzir supervisores por meio de coberturas de controle independentemente do tipo de supervisor. Como resultado, primeiramente demonstra-se matematicamente a equivalência entre a marcação de estados tradicional e a marcação por eventos de marcação. Então, substitui-se a condição de consistência da marcação durante a redução de supervisores por um problema de controlabilidade dos eventos de marcação. Além disso, e ainda utilizando eventos de marcação, o problema da redução de supervisores é modelado em PLIM e AG, chegando-se a reduzir supervisores de 384 estados (por meio de PLIM) e de 96 estados (por meio de AG). Ao final, concluem-se as metodologias propostas e estabelecem-se perspectivas para trabalhos futuros.
Bibliographical Information:

Advisor:Guilherme Bittencourt; Antônio Eduardo Carrilho Cunha; Jean Marie Alexandre Farines; Eduardo Camponogara; Max Hering de Queiroz

School:Universidade Federal de Santa Catarina

School Location:Brazil

Source Type:Master's Thesis

Keywords:algoritmos genéticos programação linear otimização matemática sistemas a eventos discretos engenharia eletrica

ISBN:

Date of Publication:09/01/2008

© 2009 OpenThesis.org. All Rights Reserved.