End-to-end statistical model checking for parametric ODE models

DOI10.1007/978-3-031-16336-4_5MaRDI QIDQ6160770zbMATH OpenOpenAlexFDO

Authors David Julien, Guillaume Cantin, Benoît Delahaye

Publication date 2 June 2023

Published in Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-16336-4_5

zbMATH Keywords

ODE modelsstatistical model checkingstructural parameters

Mathematics Subject Classification ID

Numerical methods for initial value problems involving ordinary differential equations (65L05) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical modeling or simulation for problems pertaining to biology (92-10)

Recommendations

• Parallelized Parameter Estimation of Biological Pathway Models
• ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks
• Statistical model checking for cyber-physical systems
• Statistical probabilistic model checking with a focus on time-bounded properties
• Bayesian statistical model checking with application to Stateflow/Simulink verification

Cites work

• A Spline Least Squares Method for Numerical Parameter Estimation in Differential Equations
• Accelerated model checking of parametric Markov chains
• Approximate probabilistic verification of hybrid systems
• scientific article; zbMATH DE number 1581767 (Why is no real title available?)
• scientific article; zbMATH DE number 1001867 (Why is no real title available?)
• scientific article; zbMATH DE number 4035030 (Why is no real title available?)
• Model checking probabilistic systems
• Numerical Methods for Ordinary Differential Equations
• On the Accuracy of Runge-Kutta's Method
• Parameter Estimation for Differential Equations: a Generalized Smoothing Approach
• Probability Inequalities for Sums of Bounded Random Variables
• The probabilistic model checking landscape
• Theoretical Aspects of Computing - ICTAC 2004

Cited in

(1)

• End-to-end statistical model checking for parameterization and stability analysis of ODE models

This page was built for publication: End-to-end statistical model checking for parametric ODE models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160770)