Em Introdução aos Sistemas a Eventos Discretos e à Teoria de Controle Supervisório é abordado, em uma visão básica para os estudantes de Engenharia Elétrica e Mecatrônica, este formalismo e a estruturação de controle para os mesmos, a qual é denominada Teoria de Controle Supervisório. Nessa estrutura de controle é necessário construir um modelo , definir um comportamento e sintetizar o supervisor que determinará as ações de controle para a realização da tarefa especificada ao sistema na forma mais automática possível (máxima sublinguagem controlável).