research-article

Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication

Authors:

Konstantinos Koutroumpas,

John LygerosAuthors Info & Claims

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Pages 263 - 272

https://doi.org/10.1145/1755952.1755989

Published: 12 April 2010 Publication History

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.

References

[1]

J. B. C. Heichinger, C.J. Penkett and P. Nurse. Genome-wide characterization of fission yeast DNA replication origins. The EMBO Journal, 25(21):5171 - 5179, 2006.

[2]

C. Cassandras and J. Lygeros. Stochastic Hybrid Systems, volume 24. CRC Press and IEEE Press, 2006.

[3]

A. Goldar, H. Labit, K. Marheineke, and O. Hyrien. A dynamic stochastic model for dna replication initiation in early embryos. PLoS ONE, 3(8):e2919, 2008.

[4]

P. Goss and J. Peccoud. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences, 95(12):6750--6755, 1998.

[5]

C. Heitmeyer and N. Lynch. The generalized railroad crossing: A case study in formal verification of real-time system. In Proceedings of the 15th IEEE Real-Time Systems Symposium, pages 120--131, San Juan, Puerto Rico, 1994. IEEE Computer Society Press.

[6]

J. Herrick, S. Jun, J. Bechhoefer, and A. Bensimon. Kinetic model of dna replication in eukaryotic organisms. Journal of Molecular Biology, 320(4):741 -- 750, 2002.

[7]

J. P. Hespanha and A. Singh. Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems. Int. J. on Robust Control, Special Issue on Control at Small Scales: Issue 1, 15:669--689, Sep. 2005.

[8]

J. Hu, W. Wu, and S. Sastry. Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. Lecture Notes in Computer Science, 2993:417--431, 2004.

[9]

P. Kouretas, K. Koutroumpas, J. Lygeros, and Z. Lygerou. Stochastic hybrid modelling of biochemical processes . In C.G.Cassandras and J.Lygeros, editors, Stochastic Hybrid Systems, Automation and Control Engineering Series, 24(9083), Nov. 2006.

[10]

G. Leeb and N. Lynch. Proving safety properties of the steam boiler controller. In Jean-Raymond Abrial, Egon Boerger, and Hans Langmaack, editors, Proceedings of Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Lecture Notes in Computer Science, volume 11654, pages 120--131, San Juan, Puerto Rico, 1996. Springer-Verlag.

Digital Library

[11]

C. Livadas. Formal Verification of Safety-Critical Hybrid Systems. Master of Engineering Thesis, Dept. of Electrical Engineering and Computer Science, Sept. 1997.

[12]

C. Livadas, J. Lygeros, and N. A. Lynch. High-level modeling and analysis of the traffic alert and collision avoidance system TCAS. Proceedings of IEEE, 88:926--948, 2000.

[13]

J. Lygeros, K. Koutroumpas, S. Dimopoulos, I. Legouras, P. Kouretas, C. Heichinger, P. Nurse, and Z. Lygerou. Stochastic hybrid modeling of DNA replication across a complete genome. PNAS, 105(34):12295--12300, Aug. 2008.

[14]

J. Lygeros and N. Lynch. On the formal verification of the \uppercase TCAS conflict resolution algorithms. In Proceedings 36th IEEE Conference on Decision and Control, pages 1829--1834, 1997.

[15]

J. Lygeros and N. A. Lynch. Strings of vehicles: Modeling and safety conditions. In HSCC '98: Proceedings of the First International Workshop on Hybrid Systems, pages 273--288, London, UK, 1998. Springer-Verlag.

Digital Library

[16]

N. Lynch, R. Segala, and F. Vaandrager. Hybrid i/o automata. Inf. Comput., 185(1):105--157, 2003.

Digital Library

[17]

S. Mitra. A Verification Framework for Hybrid Systems. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA USA, September 2007.

Digital Library

[18]

D. O. Morgan. The Cell Cycle: Principles of Control. New Science Press, London, 2007.

[19]

S. M. Nancy Lynch and T. Nolte. Motion coordination using virtual nodes. In CDC-ECC 2005: Forty-Fourth IEEE Conference on Decision and Control and European Control Conference, Seville, Spain, 2005.

[20]

P.K. Patel, B. Arcangioli, S.P. Baker, A. Bensimon and N. Rhind. DNA replication origins fire stochastically in fission yeast. Mol Biol Cell, 17(1):308 -- 316, 2006.

[21]

H. B. Weinberg, N. Lynch, and N. Delisle. Verification of automated vehicle protection systems (extended abstract). In Proceedings of the DIMACS/SYCON workshop on Hybrid systems III: verification and control, pages 101--113. Springer-Verlag New York, Inc., 1996.

Digital Library

[22]

D. Wilkinson. Stochastic modelling for systems biology. Chapman & Hall/CRC, 2006.

Cited By

Koutroumpas KLygeros J(2019)Modeling and analysis of DNA replicationAutomatica (Journal of IFAC)10.1016/j.automatica.2011.02.00747:6(1156-1164)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1016/j.automatica.2011.02.007
Li XOmotere OQian LDougherty E(2017)Review of stochastic hybrid systems with applications in biological systems modeling and analysisEURASIP Journal on Bioinformatics and Systems Biology10.1186/s13637-017-0061-52017:1Online publication date: 30-Jun-2017
https://doi.org/10.1186/s13637-017-0061-5

Index Terms

Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
1. Applied computing
  1. Life and medical sciences
2. Mathematics of computing
  1. Mathematical software
  2. Probability and statistics
    1. Stochastic processes

Recommendations

A combined systems and structural modeling approach repositions antibiotics for Mycoplasma genitalium

Display Omitted We combined systems and structural modeling to repurpose antibiotics for new hosts.We applied our novel approach to the infectious bacterium Mycoplasma genitalium.Our method suggests that thymidylate kinase is a good potential drug ...
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets

The aim of this research has been to associate the modeling capacities of hybrid Petri nets with the analysis power of hybrid automata in order to perform formal verification of hybrid dynamic systems. In this paper, we propose an extension of hybrid ...
Modeling and analysis of DNA replication

DNA replication is an important process in the life of a cell. It has to be completed with extreme accuracy in a specific phase of the cell cycle, known as the S phase. Eukaryotic DNA replication is a rather complex and uncertain process. Several ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

April 2010

308 pages

ISBN:9781605589558

DOI:10.1145/1755952

General Chairs:
Karl Henrik Johansson
KTH, Sweden
,
Wang Yi
Uppsala University, Sweden

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGBED: ACM Special Interest Group on Embedded Systems

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 April 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

HSCC '10

Sponsor:

SIGBED

HSCC '10: The 13th ACM International Conference on Hybrid Systems: Computation and Control

April 12 - 15, 2010

Stockholm, Sweden

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
154
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Koutroumpas KLygeros J(2019)Modeling and analysis of DNA replicationAutomatica (Journal of IFAC)10.1016/j.automatica.2011.02.00747:6(1156-1164)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1016/j.automatica.2011.02.007
Li XOmotere OQian LDougherty E(2017)Review of stochastic hybrid systems with applications in biological systems modeling and analysisEURASIP Journal on Bioinformatics and Systems Biology10.1186/s13637-017-0061-52017:1Online publication date: 30-Jun-2017
https://doi.org/10.1186/s13637-017-0061-5

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents