Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Modeling and verification of Stochastic Hybrid Systems using HIOA: A case study on DNA replication

Author(s):

K. Koutroumpas, J. Lygeros
Conference/Journal:

Proceedings of the HSCC, 13th ACM International Conference on Hybrid Systems: Computation and Control (HSCC) accepted
Abstract:

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.

Year:

2010
Type of Publication:

(01)Article
Supervisor:



File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@Article { KouLyg:2010:IFA_3458,
    author={K. Koutroumpas and J. Lygeros},
    title={{Modeling and verification of Stochastic Hybrid Systems
	  using HIOA: A case study on DNA replication}},
    journal={Proceedings of the HSCC},
    year={2010},
    volume={},
    number={},
    pages={},
    month=apr,
    url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=3458}
}
Permanent link