Nesta dissertação, propomos uma abordagem para a síntese local de supervisores modulares no contexto de sistemas a eventos discretos temporizados. o objetivo é reduzir o custo computacional na aplicação da teoria de controle supervisório a essa classe de sistemas, haja vista a dificuldade imposta pela explosão no número de estados dos modelos em sistemas de grande porte. em grande parte dos problemas complexos envolvendo sistemas temporizados, a planta a ser controlada é composta de subsistemas que operam de maneira assíncrona a menos do compartilhamento de um relógio global. ademais, o comportamento desejado é normalmente colocado na forma de especificações de controle elementares, cada uma das quais visa sincronizar e restringir o comportamento de apenas alguns dos subsistemas da planta. a ideia da metodologia de controle aqui apresentada é explorar tanto a modularidade das especificações quanto a do próprio sistema. nossos supervisores são calculados com base em modelos locais, construídos pela agregação dos subsistemas que são afetados por cada especificação. isso leva a módulos de controle nos quais a ação dos supervisores é relativamente simples, baseada apenas em informações locais, o que facilita sua compreensão, implementação e modificação. apresentamos condições necessárias e suficientes sob as quais a ação conjunta dos supervisores locais leva o sistema a um comportamento global não bloqueante e que cumpre as especificações de forma ótima (minimamente restritiva). mostramos, ainda, que a abordagem proposta reduz o custo computacional quando comparada a outras existentes. por fim, um exemplo de interesse prático e com rígidas restrições temporais é resolvido, ilustrando a aplicabilidade da metodologia proposta.