R1
R1
X > Xa
R2
R2
Xa > Xa_ATIII
R3
R3
Va + Xa + PL = PT
R4
R4
V > Va
R5
R5
II > IIa
R6
R6
II > IIa
R7
R7
IIa > IIa_alpha2M
R8
R8
IIa > IIa_ATIII
Assignment rules
AmAct = IIa + 0.556 * IIa_alpha2M
Function definitions
HenriMichaelisMenten_irreversible_kcat(kcat, enzyme, substrate, Km) = kcat * enzyme * substrate / (Km + substrate)
Note that constraints are not enforced in simulations. It remains the responsibility of the user to verify that simulation results satisfy these constraints.
Qualitative properties and stabilizability of a model for blood thrombin formation
J. Math. Anal. Appl. 2008;
(346):
Abstract
We perform a qualitative analysis of a differential equation that was originally introduced
by Stortelder, Hemker and Hemker to model the formation of thrombin, and discuss issues
of controllability and stabilizability. Results include a general proof of convergence to
equilibrium, and of local exponential stabilizability.
by Stortelder, Hemker and Hemker to model the formation of thrombin, and discuss issues
of controllability and stabilizability. Results include a general proof of convergence to
equilibrium, and of local exponential stabilizability.
The SBML for this model was obtained from the BioModels database (BioModels ID: BIOMD0000000366)
Biomodels notes: Reproduction of figure 2 of the article. Model integrated using PySCeS and plotted with Matplotlib.
JWS Online curation: This model was curated by reproducing the figures as described in the BioModels Notes. No additional changes were made.