Tamanho da fonte: 

A Teoria do Controle Supervisório agrega a modelagem de sistemas, principalmente na industria, formalismos matemáticos capazes de garantir a resposta ótima do sistema. Em alguns casos extensões da teoria, como distinguidores, precisam ser usados. Porém é preciso novas ferramentas de modelagem de sistemas utilizando estas extensões, como é o caso da extensão criada neste trabalho para o Software Supremica. Esta extensão cria ferramentas para síntese e modelagem de autômatos com distinguidores e possibilitando assim uma maior utilização das teorias vistas neste trabalho em ambientes industriais.

criando ferramentas para síntese e modelagem de autômatos com distinguidores e possibilitando assim uma maior utilização das teorias vistas neste trabalho em ambientes industriais.