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).