Constraint Reasoning for Differential Models

Comparar as principais características da inadequação biofísica estava relacionado com a representação de equações diferenciais. A dinâmica do sistema é freqüentemente modelada com o poder expressivo da estrutura de restrições de intervalo existente. É claro que o modelo mais importante era por meio de equações diferenciais, mas não havia como expressar uma equação diferencial como uma restrição e integrá-la dentro da estrutura de restrições. Consequentemente, o objetivo deste trabalho está focado na integração de equações diferenciais ordinárias dentro do framework de restrições de intervalo, que para este propósito é estendido com o novo formalismo de Problemas Diferenciais de Satisfação de Restrições. Tal estrutura permite a especificação de equações diferenciais ordinárias, juntamente com informações relacionadas, por meio de restrições, e fornece técnicas de propagação eficientes para podar os domínios de suas variáveis. Isso possibilitou a integração de todas essas informações em uma única restrição, cujas variáveis ​​podem ser posteriormente utilizadas em outras restrições do modelo. O método específico usado para podar seus domínios variáveis ​​pode então ser combinado com os métodos de poda associados a outras restrições em um algoritmo de propagação geral para reduzir os limites de todas as variáveis ​​do modelo.