Introducing Interval Differential Dynamic Logic - Fundamentals of Software Engineering
Conference Papers Year : 2021

Introducing Interval Differential Dynamic Logic

Abstract

Differential dynamic logic ($$d\mathcal {L}$$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 $$d\mathcal {L}$$dL as its base and adapts its semantics for the interval setting.
Fichier principal
Vignette du fichier
506725_1_En_5_Chapter.pdf (381.95 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04074513 , version 1 (19-04-2023)

Licence

Identifiers

Cite

Daniel Figueiredo. Introducing Interval Differential Dynamic Logic. 9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.69-75, ⟨10.1007/978-3-030-89247-0_5⟩. ⟨hal-04074513⟩
21 View
21 Download

Altmetric

Share

More