End-to-End Statistical Model Checking for Parametric ODE Models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

End-to-End Statistical Model Checking for Parametric ODE Models

Résumé

We propose a simulation-based technique for the verication of structural parameters in Ordinary Dierential Equations. This technique is an adaptation of Statistical Model Checking, often used to verify the validity of biological models, to the setting of Ordinary Dierential Equations systems. The aim of our technique is to search the parameter space for the parameter values that induce solutions that best t experimental data under variability, with any metrics of choice. To do so, we discretize the parameter space and use statistical model checking to grade each individual parameter value w.r.t experimental data. Contrary to other existing methods, we provide statistical guarantees regarding our results that take into account the unavoidable approximation errors introduced through the numerical resolution of the ODE system performed while simulating. In order to show the potential of our technique, we present its application to two case studies taken from the literature, one relative to the growth of a jellysh population, and another concerning a prey-predator model.
Fichier principal
Vignette du fichier
main.pdf (1.11 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03824899 , version 1 (21-10-2022)

Identifiants

Citer

David Julien, Guillaume Cantin, Benoît Delahaye. End-to-End Statistical Model Checking for Parametric ODE Models. QEST: International Conference on Quantitative Evaluation of Systems, Sep 2022, Warsaw, Poland. pp.85-106, ⟨10.1007/978-3-031-16336-4_5⟩. ⟨hal-03824899⟩
144 Consultations
77 Téléchargements

Altmetric

Partager

More