A Teoria de Controle Supervisório (TCS) sistematiza o processo de síntese de controladores para Sistema a Eventos Discretos (SEDs) usando autômatos e linguagens. No entanto, uma das limitações da TCS está associada ao esforço de modelagem inerente a problemas complexos de controle. Uma alternativa são os distinguidores que, quando associados ao modelo de um sistema, adicionam mais informações acerca de determinados eventos, o que tende a simplificar tarefas de modelagem. No entanto, o uso de distinguidores torna mais complexa a síntese de controladores, pois um modelo adicional, o distinguidor, precisa ser associado à planta. No sentido de simplificar também o processo de síntese surge o conceito de aproximações, que consiste em remover o distinguidor da síntese e só usá-lo na etapa de implementação. Este trabalho explora o uso de aproximações na modelagem e no controle de SEDs, explicitando as vantagens, as desvantagens e apresentando comparativos com os métodos convencionais de síntese.