Differential dynamic logic and applications
Daniel Figueiredo · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2015
Na área industrial e habitual usar ferramentas discretas em sistemas cuja evolução e contínua e regida pelas leis da mecânica. Estes sistemas que apresentam tanto comportamento contínuo como discreto são conhecidos como sistemas híbridos. A lógica diferencial dinâmica e uma lógica desenvolvida recentemente para trabalhar com estes sistemas. Neste trabalho, apresentamos a lógica diferencial dinâmica como uma generalização da lógica dinâmica (e, consequentemente, da lógica modal). Também são apresentadas algumas aplicações e discutida a utilidade destas lógicas nas áreas da mecânica e da biologia. Embora o uso de ferramentas computacionais seja comum e os resultados até agora obtidos sejam satisfatórios, os exemplos apresentados mostram que a lógica diferencial dinâmica pode ser usada como uma alternativa, assim como um complemento, na biologia sintética