Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10773/32970
Título: | Introducing interval differential dynamic logic |
Autor: | Figueiredo, Daniel |
Palavras-chave: | Interval differential dynamic logic Differential dynamic logic Interval arithmetics |
Data: | 2021 |
Editora: | Springer |
Resumo: | Differential dynamic logic ( dL ) is a dynamic logic with first-order features which allows us to describe and reason about hybrid systems. We have already used this logic to reason about biological models. Here we explore some variants of its semantics in order to obtain a simplified and more intuitive way of describing errors/perturbations, unavoidable in real-case scenarios. More specifically, we introduce interval differential dynamic logic which takes dL as its base and adapts its semantics for the interval setting. |
Peer review: | yes |
URI: | http://hdl.handle.net/10773/32970 |
DOI: | 10.1007/978-3-030-89247-0_5 |
ISBN: | 978-3-030-89246-3 |
Aparece nas coleções: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
Article.pdf | 221.18 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.