Modeling and Verification of Stochastic Hybrid Systems Using HIOA: A Case Study on DNA Replication

摘要

DNA replication is one of the most fundamental processes in the life of every cell. In earlier work a model to capture the mechanics of the DNA replication process was developed in the stochastic hybrid systems framework. Monte Carlo simulations of the model allowed us to make novel predictions regarding the mechanisms behind DNA replication based on experimental data for the fission yeast. Here the stochastic hybrid model is adopted to the Hybrid Input/Output Automaton formalism. We then verify that the model captures the mechanisms of DNA replication process by induction proofs. Our results demonstrate that the model is indeed a faithful representation of the physical reality and lend theoretical support for the predictions of the model.