Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/32970
Title: | Introducing interval differential dynamic logic |
Author: | Figueiredo, Daniel |
Keywords: | Interval differential dynamic logic Differential dynamic logic Interval arithmetics |
Issue Date: | 2021 |
Publisher: | Springer |
Abstract: | 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 |
Appears in Collections: | CIDMA - Capítulo de livro AGG - Capítulo de livro |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Article.pdf | 221.18 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.