39129

Modelagem de processos químicos e sistemas de controle como máquinas de estados finitos

Favoritar este trabalho

As áreas da engenharia e ciência da computação dispõem de técnicas matemáticas sofisticadas para avaliar se um projeto de hardware e/ou software está correto em relação aos requisitos especificados. Essas técnicas, denominadas de verificação formal, englobam uma diversidade de métodos para provar matematicamente se um sistema viola (ou não) os requisitos (propriedades lógicas) especificados pelo projetista. Apesar de poder prever a violação de requisitos desejados de forma automática, a aplicação das técnicas de verificação formal em projetos de engenharia, e em particular na engenharia química, torna-se pouco prático porque grande parte dos verificadores formais requerem que os sistemas sejam modelados como máquinas de estados finitos (MEFs). Este trabalho tem por objetivo demonstrar como processos químicos e sistemas de controle (contínuos e/ou lógicos) podem ser modelados como MEFs a partir de equações diferenciais que envolvem tempo. A implementação foi feita em Matlab e NuSMV.