Este artigo descreve uma metodologia de automação baseada na teoria de controle supervisório de sistemas a eventos discretos (SED) desenvolvida por Ramadge e Wonham, utilizando como aplicação um robô de sumô de 3 kg. A modelagem foi elaborada em duas etapas, a primeira engloba o comportamento livre do robô, e a segunda representa as especificações ou restriçoes de comportamento do robô. Na sequência foi aplicada a teoria de controle supervisório para obter o comportamento do robˆo minimamente restritivo que atenda as especificacções desejadas.
O Computer on the Beach é um evento técnico-científico que visa reunir profissionais, pesquisadores e acadêmicos da área de Computação, a fim de discutir as tendências de pesquisa e mercado da computação em suas mais diversas áreas.