Resumo
Neste trabalho pretende-se estudar análise e síntese de sistemas dinâmicos a eventos discretos e implementar programas computacionais para algoritmos propostos na abordagem que relaciona a teoria de dióides e lógica modal. Também pretende-se avaliar os resultados obtidos quando os programas são aplicados a problemas práticos. (AU)