{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T00:04:29Z","timestamp":1791158669000,"version":"4.1.0"},"reference-count":43,"publisher":"Oxford University Press (OUP)","issue":"12","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":2685,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/2.0\/uk\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6,15]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Motivation: Robustness is the capacity of a system to maintain a function in the face of perturbations. It is essential for the correct functioning of natural and engineered biological systems. Robustness is generally defined in an ad hoc, problem-dependent manner, thus hampering the fruitful development of a theory of biological robustness, recently advocated by Kitano.<\/jats:p>\n               <jats:p>Results: In this article, we propose a general definition of robustness that applies to any biological function expressible in temporal logic LTL (linear temporal logic), and to broad model classes and perturbation types. Moreover, we propose a computational approach and an implementation in BIOCHAM 2.8 for the automated estimation of the robustness of a given behavior with respect to a given set of perturbations. The applicability and biological relevance of our approach is demonstrated by testing and improving the robustness of the timed behavior of a synthetic transcriptional cascade that could be used as a biological timer for synthetic biology applications.<\/jats:p>\n               <jats:p>Availability: Version 2.8 of BIOCHAM and the transcriptional cascade model are available at http:\/\/contraintes.inria.fr\/BIOCHAM\/<\/jats:p>\n               <jats:p>Contact: \u00a0gregory.batt@inria.fr<\/jats:p>","DOI":"10.1093\/bioinformatics\/btp200","type":"journal-article","created":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T15:48:54Z","timestamp":1243525734000},"page":"i169-i178","source":"Crossref","is-referenced-by-count":88,"title":["A general computational method for robustness analysis with applications to synthetic gene networks"],"prefix":"10.1093","volume":"25","author":[{"given":"Aur\u00e9lien","family":"Rizk","sequence":"first","affiliation":[{"name":"INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gregory","family":"Batt","sequence":"additional","affiliation":[{"name":"INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fran\u00e7ois","family":"Fages","sequence":"additional","affiliation":[{"name":"INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sylvain","family":"Soliman","sequence":"additional","affiliation":[{"name":"INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2009,5,27]]},"reference":[{"key":"2023013112000048700_B1","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1385\/CBB:38:3:271","article-title":"Model building and model checking for biochemical processes","volume":"38","author":"Antoniotti","year":"2003","journal-title":"Cell Biochem. Biophys."},{"key":"2023013112000048700_B2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","article-title":"The Parma Polyhedra Library: toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems","volume":"72","author":"Bagnara","year":"2008","journal-title":"Sci. Comput. Program."},{"key":"2023013112000048700_B3","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1038\/43199","article-title":"Robustness in simple biochemical networks","volume":"387","author":"Barkai","year":"1997","journal-title":"Nature"},{"issue":"Suppl.1","key":"2023013112000048700_B4","doi-asserted-by":"crossref","first-page":"i19","DOI":"10.1093\/bioinformatics\/bti1048","article-title":"Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli","volume":"21","author":"Batt","year":"2005","journal-title":"Bioinformatics"},{"key":"2023013112000048700_B5","doi-asserted-by":"crossref","first-page":"2415","DOI":"10.1093\/bioinformatics\/btm362","article-title":"Robustness analysis and tuning of synthetic gene networks","volume":"23","author":"Batt","year":"2007","journal-title":"Bioinformatics"},{"key":"2023013112000048700_B6","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","article-title":"Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic","volume":"229","author":"Bernot","year":"2004","journal-title":"J. Theor. Biol."},{"key":"2023013112000048700_B7","doi-asserted-by":"crossref","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","article-title":"BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge","volume":"22","author":"Calzone","year":"2006","journal-title":"Bioinformatics"},{"key":"2023013112000048700_B8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1038\/msb4100171","article-title":"Dynamical modeling of syncytial mitotic cycles in drosophila embryos","volume":"3","author":"Calzone","year":"2007","journal-title":"Mol. Syst. Biol."},{"key":"2023013112000048700_B9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","article-title":"Symbolic model checking of biochemical networks","volume-title":"Proceedings of Computational Methods in Systems Biology (CMSB'03).","author":"Chabrier","year":"2003"},{"key":"2023013112000048700_B10","first-page":"13591","article-title":"Geometry and topology of parameter space: investigating measures of robustness in regulatory networks","volume":"104","author":"Chaves","year":"2007","journal-title":"J. Math. Biol."},{"key":"2023013112000048700_B11","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1038\/nchembio789","article-title":"Modular approaches to expanding the functions of living matter","volume":"2","author":"Chin","year":"2006","journal-title":"Nat. Chem. Biol."},{"key":"2023013112000048700_B12","doi-asserted-by":"crossref","first-page":"13591","DOI":"10.1073\/pnas.0705396104","article-title":"Innovation and robustness in complex regulatory gene networks","volume":"104","author":"Ciliberti","year":"2007","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B13","doi-asserted-by":"crossref","first-page":"20063","DOI":"10.1073\/pnas.0806007105","article-title":"Properties of developmental gene regulatory networks","volume":"105","author":"Davidson","year":"2008","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B14","doi-asserted-by":"crossref","first-page":"1475","DOI":"10.1073\/pnas.0437746100","article-title":"Reglatory gene networks and the properties of the developmental process","volume":"100","author":"Davidson","year":"2003","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B15","first-page":"269","article-title":"A model checking approach to the parameter estimation of biochemical pathways","volume-title":"Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB'08).","author":"Donaldson","year":"2008"},{"key":"2023013112000048700_B16","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-540-45069-6_3","article-title":"Reasoning with temporal logic on truncated paths","volume-title":"Proceedings of Fifteenth Computer-Aided Verification conference (CAV'O3).","author":"Eisner","year":"2003"},{"key":"2023013112000048700_B17","doi-asserted-by":"crossref","first-page":"2736","DOI":"10.1073\/pnas.0403510102","article-title":"Surviving heat shock: Control strategies for robustness and performance","volume":"102","author":"El-Samad","year":"2005","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B18","first-page":"995","article-title":"Temporal and modal logic","volume-title":"Handbook of Theoretical Computer Science.","author":"Emerson","year":"1990"},{"key":"2023013112000048700_B19","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/j.tcs.2008.07.004","article-title":"On temporal logic constraint solving for the analysis of numerical data time series","volume":"408","author":"Fages","year":"2008","journal-title":"Theor. Comput. Sci."},{"key":"2023013112000048700_B20","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/11940197_12","article-title":"Robustness of temporal logic specifications","volume-title":"Proceedings of International the Workshop on Formal Approaches to Software Testing and Runtime Verification, (FATES\/RV'06).","author":"Fainekos","year":"2006"},{"key":"2023013112000048700_B21","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-3-540-75454-1_12","article-title":"Robust sampling for MITL specifications","volume-title":"Proceedings of the Fifth International Conference on Formal Modeling and Analysis of Timed Systems, (FORMATS'07).","author":"Fainekos","year":"2007"},{"key":"2023013112000048700_B22","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1038\/sj.hdy.6800915","article-title":"Robustness and evolution: concepts, insights and challenges from a developmental model system","volume":"100","author":"Felix","year":"2008","journal-title":"Heredity"},{"key":"2023013112000048700_B23","doi-asserted-by":"crossref","first-page":"2195","DOI":"10.1529\/biophysj.104.044131","article-title":"Optimizing genetic circuits by global sensitivity analysis","volume":"87","author":"Feng","year":"2004","journal-title":"Biophys. J."},{"key":"2023013112000048700_B24","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1073\/pnas.022628299","article-title":"Robustness of circadian rhythms with respect to molecular noise","volume":"99","author":"Gonze","year":"2002","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B25","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1162\/106365601750190398","article-title":"Completely derandomized self-adaptation in evolution strategies","volume":"9","author":"Hansen","year":"2001","journal-title":"Evol. Comput."},{"key":"2023013112000048700_B26","doi-asserted-by":"crossref","first-page":"3581","DOI":"10.1073\/pnas.0408507102","article-title":"Ultrasensitivity and noise propagation in a synthetic transcriptional cascade","volume":"102","author":"Hooshangi","year":"2005","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B27","doi-asserted-by":"crossref","first-page":"e123","DOI":"10.1371\/journal.pbio.0020123","article-title":"Topology and robustness in the drosophila segment polarity network","volume":"2","author":"Ingolia","year":"2004","journal-title":"PLoS Biol."},{"key":"2023013112000048700_B28","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1038\/nrg1471","article-title":"Biological robustness","volume":"11","author":"Kitano","year":"2004","journal-title":"Nat. Rev. Genet."},{"key":"2023013112000048700_B29","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1038\/msb4100179","article-title":"Towards a theory of biological robustness","volume":"3","author":"Kitano","year":"2007","journal-title":"Mol. Syst. Biol."},{"key":"2023013112000048700_B30","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1038\/msb4100111","article-title":"Robustness and modular design of the drosophila segment polarity network","volume":"2","author":"Ma","year":"2006","journal-title":"Mol. Syst. Biol."},{"key":"2023013112000048700_B31","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-540-78127-1_26","article-title":"Checking temporal properties of discrete, timed and continuous behaviors","volume-title":"Pillars of Computer Science, Essays Dedicated to B. Trakhtenbrot.","author":"Maler","year":"2008"},{"key":"2023013112000048700_B32","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1016\/j.compbiolchem.2006.04.002","article-title":"Developing It\u00f4 stochastic differential equation models for neuronal signal transduction pathways","volume":"30","author":"Manninen","year":"2006","journal-title":"Comp. Biol. Chem."},{"key":"2023013112000048700_B33","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1016\/j.copbio.2005.07.002","article-title":"Advances in synthetic biology: on the path from prototypes to applications","volume":"16","author":"McDaniel","year":"2005","journal-title":"Curr. Opin. Biotechnol."},{"key":"2023013112000048700_B34","doi-asserted-by":"crossref","first-page":"304","DOI":"10.1007\/978-3-540-75454-1_22","article-title":"AMT: a property-based monitoring tool for analog systems","volume-title":"Proceedings of conference on Formal Modeling and Analysis of Timed Systems (FORMAT'07).","author":"Nickovic","year":"2007"},{"key":"2023013112000048700_B35","first-page":"251","article-title":"On a continuous degree of satisfaction of temporal logic formulae with applications to systems biology","volume-title":"Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB'08).","author":"Rizk","year":"2008"},{"key":"2023013112000048700_B36","volume-title":"Sensitivity Analysis in Practice: A Guide to Assessing Scientific Models.","author":"Saltelli","year":"2004"},{"key":"2023013112000048700_B37","doi-asserted-by":"crossref","first-page":"11340","DOI":"10.1073\/pnas.0805258105","article-title":"Architecture and inherent robustness of a bacterial cell-cycle control system","volume":"105","author":"Shen","year":"2008","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B38","doi-asserted-by":"crossref","first-page":"19931","DOI":"10.1073\/pnas.0706792104","article-title":"Input-output robustness in simple bacterial signaling systems","volume":"104","author":"Shinar","year":"2007","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B39","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1016\/j.cell.2004.09.008","article-title":"Robustness of cellular functions","volume":"118","author":"Stelling","year":"2004","journal-title":"Cell"},{"key":"2023013112000048700_B40","doi-asserted-by":"crossref","first-page":"13210","DOI":"10.1073\/pnas.0401463101","article-title":"Robustness properties of circadian clock architectures","volume":"101","author":"Stelling","year":"2004","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"2023013112000048700_B41","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1038\/msb4100204","article-title":"Modular cell biology: retroactivity and insulation","volume":"4","author":"Vecchio","year":"2008","journal-title":"Mol. Syst. Biol."},{"key":"2023013112000048700_B42","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1038\/35018085","article-title":"The segment polarity network is a robust developmental module","volume":"406","author":"von Dassow","year":"2000","journal-title":"Nature"},{"key":"2023013112000048700_B43","doi-asserted-by":"crossref","first-page":"4649","DOI":"10.1073\/pnas.97.9.4649","article-title":"Robust perfect adaptation in bacterial chemotaxis through integral feedback control","volume":"97","author":"Yi","year":"2000","journal-title":"Proc. Natl Acad. Sci. USA"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/12\/i169\/48990823\/bioinformatics_25_12_i169.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/25\/12\/i169\/48990823\/bioinformatics_25_12_i169.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T21:07:55Z","timestamp":1675199275000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/25\/12\/i169\/188519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,27]]},"references-count":43,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2009,6,15]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btp200","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2009,6,15]]},"published":{"date-parts":[[2009,5,27]]}}}