Loading...
Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems
Konur, Savas Gheorghe, Marian Dragomir, C. Mierla, L.M. Ipate, F. Krasnogor, N.
Konur, Savas
Gheorghe, Marian
Dragomir, C.
Mierla, L.M.
Ipate, F.
Krasnogor, N.
Publication Date
2015-01-16
End of Embargo
Supervisor
Rights
© 2015 ACS. This document is the Accepted Manuscript version of a Published Work that appeared in final form in ACS Synthetic Biology, copyright © American Chemical Society, after peer-review and technical editing by the publisher. To access the final edited and published work see http://pubs.acs.org/doi/abs/10.1021/sb500134w
Peer-Reviewed
Yes
Open Access status
Accepted for publication
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. In addition, they can be analyzed using algorithmic techniques (e.g., formal verification). This paper shows how formal verification is utilized in systems and synthetic biology through qualitative vs quantitative analysis. Here, we choose two well-known case studies: quorum sensing in P. aeruginosas and pulse generator. The paper reports verification analysis of two systems carried out using some model checking tools, integrated to the Infobiotics Workbench platform, where system models are based on stochastic P systems.
Version
Accepted Manuscript
Citation
Konur S, Gheorghe M, Dragomir C et al (2015) Qualitative and quantitative analysis of systems and synthetic biology constructs using P systems. ACS Synthetic Biology. 4(1): 83-92.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Article