Introducing Interval Differential Dynamic Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Introducing Interval Differential Dynamic Logic

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
12 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More