End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models - Archive ouverte HAL
Article Dans Une Revue ACM Transactions on Modeling and Computer Simulation Année : 2024

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models

Verification Statistiques de Modèles pour la Paramétrisation et l'Analyse de Stabilité de modèles différentiels

Résumé

We propose a simulation-based technique for the parameterization and the stability analysis of parametric Ordinary Differential Equations. This technique is an adaptation of Statistical Model Checking, often used to verify the validity of biological models, to the setting of Ordinary Differential Equations systems. The aim of our technique is to estimate the probability of satisfying a given property under the variability of the parameter or initial condition of the ODE, with any metrics of choice. To do so, we discretize the values space and use statistical model checking to evaluate each individual value w.r.t. provided 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 integration 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 jellyfish population, and the other concerning a well-known oscillator model.
Fichier principal
Vignette du fichier
main.pdf (2.47 Mo) Télécharger le fichier
supplementary_materials.pdf (444.5 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04478120 , version 1 (26-02-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

David Julien, Gilles Ardourel, Guillaume Cantin, Benoit Delahaye. End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models. ACM Transactions on Modeling and Computer Simulation, 2024, ⟨10.1145/3649438⟩. ⟨hal-04478120⟩
65 Consultations
43 Téléchargements

Altmetric

Partager

More