Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/16841
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Martins, Manuel António Gonçalves | pt |
dc.contributor.author | Figueiredo, Daniel Oliveira | pt |
dc.date.accessioned | 2017-02-17T14:24:42Z | - |
dc.date.available | 2017-02-17T14:24:42Z | - |
dc.date.issued | 2015 | - |
dc.identifier.uri | http://hdl.handle.net/10773/16841 | - |
dc.description | Mestrado em Matemática e Aplicações | pt |
dc.description.abstract | 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 | pt |
dc.description.abstract | In industry, it is often used discrete tools in system which behavior is continuous and modeled by the laws of mechanics. These systems which display both continuous and discrete dynamic behavior are known as hybrid systems. Di erential dynamic logic is a logic recently developed in order to reasoning about hybrid systems. In this work, we present the di erential dynamic logic as a generalization of dynamic logic (and consequently of modal logic). We also present some applications and we discuss about the utility of using these logics in the areas of mechanics and molecular biology. Although computational tools have been applied to reasoning about biological regulatory networks with satisfactory results, our examples show that di erential dynamic logic can be used as an alternative, or even as a complement, in synthetic biology. | pt |
dc.language.iso | eng | pt |
dc.publisher | Universidade de Aveiro | pt |
dc.rights | openAccess | por |
dc.subject | Matemática aplicada | pt |
dc.subject | Lógica | pt |
dc.subject | Controlo automático | pt |
dc.subject.other | Lógica diferencial dinâmica | pt |
dc.subject.other | Lógica dinâmica | pt |
dc.subject.other | Lógica modal | pt |
dc.subject.other | Redes regulatórias biológicas | pt |
dc.subject.other | Minimização de autómatos finitos | pt |
dc.subject.other | Differential dynamic logic | pt |
dc.subject.other | Dynamic logic | pt |
dc.subject.other | Modal logic | pt |
dc.subject.other | Biological regulatory networks | pt |
dc.subject.other | Finite automata minimization | pt |
dc.title | Differential dynamic logic and applications | pt |
dc.title.alternative | Lógica diferencial dinâmica e aplicações | pt |
dc.type | masterThesis | pt |
thesis.degree.level | mestrado | pt |
thesis.degree.grantor | Universidade de Aveiro | pt |
dc.identifier.tid | 201571420 | - |
Appears in Collections: | UA - Dissertações de mestrado DMat - Dissertações de mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Documento.pdf | 2.48 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.