%0 Conference Proceedings
%T Introducing Interval Differential Dynamic Logic
%+ Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes (CIDMA)
%A Figueiredo, Daniel
%Z Part 2: Logic
%< avec comité de lecture
%@ 978-3-030-89246-3
%( Lecture Notes in Computer Science
%B 9th International Conference on Fundamentals of Software Engineering (FSEN)
%C Virtual, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-12818
%P 69-75
%8 2021-05-19
%D 2021
%R 10.1007/978-3-030-89247-0_5
%K Interval differential dynamic logic;Differential dynamic logic;Interval arithmetics
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-04074513/document
%2 https://inria.hal.science/hal-04074513/file/506725_1_En_5_Chapter.pdf
%L hal-04074513
%U https://inria.hal.science/hal-04074513
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-12818