liubing1020 / smoke Goto Github PK

SMOKE is a Statistical MOdel checKing tool for Estimating unknown parameters of dynamical models. It can utilize both quantitative data and qualitative knowledge for calibrating large models with hundreds of unknown parameters. It was originally developed for analyzing ordinary differential equation (ODE) models of biological networks, and currently being generalized to other modeling formalisms including stochastic models, rule-based models, and hybrid models.

B Liu, B Gyori, P S Thiagarajan. Statistical Model Checking based Analysis of Biological Networks, Automated Reasoning for Systems Biology and Medicine, 63-92 (2019). doi: 10.1007/978-3-030-17297-8_3

Partial support from the NIH awards P41GM103712, P30DA035778, and U19A168021 is gratefully acknowledged.