Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?


The folding path of a ribo-nucleic acid from its free form to its complete structure is of significant interest to structural biologists. There are algorithms for simulating kinetics of the ribo-nucleic acid from its unfolded state to its stable structure (minimum free-energy structure). These computational techniques are expensive as the total number of structures in the folding space is exponentially large. We propose to use time-efficient algorithms from the field of probabilistic model checking for verifying certain hypothesis concerning ribo-nucleic acid folding landscape. First, we explain how thermodynamic models of ribo-nucleic acid can be used to generate a Markov chain of structures, whose transitions within the chain are based on the energy difference w.r.t to their neighbours. Then we present a process algebra model to compactly represent the dynamics of ribo-nucleic acid folding. Both these approaches essentially generate input models for probabilistic model checking. Finally, we discuss if statistical model checking techniques can be applied for the problem of aligning ribo-nucleic acid sequences and structures.
No file

Dates and versions

hal-00712557 , version 1 (27-06-2012)


  • HAL Id : hal-00712557 , version 1
  • PRODINRA : 244947


Stefan Janssen, Loïc Paulevé, Yann Ponty, Balaji Raman, Matthias Zytnicki. Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?. IWBDA - 4th International Workshop on Bio-Design Automation - 2012, Jun 2012, San Francisco, United States. ⟨hal-00712557⟩
430 View
0 Download


Gmail Facebook Twitter LinkedIn More