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

DOI10.1145/3649438zbMath1548.65038MaRDI QIDQ6639408

Gilles Ardourel, Guillaume Cantin, David Julien, Benoît Delahaye

Publication date: 15 November 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

stability analysisparameterizationordinary differential equations (ODEs)statistical model checking (SMC)

Mathematics Subject Classification ID

Numerical solutions to stochastic differential and integral equations (65C30)

This page was built for publication: End-to-end statistical model checking for parameterization and stability analysis of ODE models