Please use this identifier to cite or link to this item:
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
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 SizeFormat 
Article.pdf221.18 kBAdobe PDFView/Open

Formato BibTex MendeleyEndnote Degois 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.