Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos /

Abstract

Neste documento investigam-se inicialmente métodos para explorar a simetria inerente a muitos sistemas práticos visando reduzir a complexidade computacional do Problema de Controle Supervisório (PCS). Noções da teoria de grupos são usadas para caracterizar simetria, sendo que esta propriedade numa linguagem (regular) permite sua representação por um autômato quociente (AQ) em geral de espaço de estados muito menor do que a sua representação original. Propõe-se um algoritmo definido sobre AQs para sintetizar soluções. Atenção especial é dada ao caso de sistemas com componentes similares. Uma segunda parte do documento investiga aplicações da teoria de controle supervisório sobre uma classe de Sistemas Híbridos (SHs) guiados por eventos. Propõe-se um modelo de SH constituído por uma planta, em geral de natureza híbrida, controlada por um supervisor discreto que observa eventos resultantes de cruzamentos de limites (associados às trajetórias contínuas da planta) para gerar comandos de controle. Sobre este modelo formula-se o PCS para SHs sendo que é em seguida transformado num PCS equivalente. Uma noção estendida de controlabilidade e um algoritmo de síntese são propostos para resolver o PCS através de uma abordagem de aproximações conservativas do comportamento lógico da planta. Resultados computacionais são derivados usando extensões propostas das ferramentas CheckMate e GRAIL.