Este livro trata do formalismo de automação nos modernos conceitos, que é a supervisão inteligente dos sistemas a eventos discretos. O foco deste livro é a fundamentação teórica que dá base ao entendimento desses sistemas, de sua modelagem e do tratamento da linguagem, até a formulação do controle supervisório vista por algumas das mais conhecidas ferramentas. Além do mais, seu aprofundamento se dá com a aplicação da Álgebra de Dióides nos contextos lógico e de temporização dos sistemas, que é a base para as grandes melhorias nos sistemas automáticos atuais. 
A estrutura deste livro apresenta vários exemplos básicos e aprofundados para a compreensão detalhada do leitor, sendo um livro imprescindível na biblioteca dos profissionais da área, tanto em termos de graduação como de pós-graduação em Engenharia Elétrica, Automação e Mecatrônica.