On temporal logic constraint solving for analyzing numerical data time series

Theoretical Computer Science

Volumn 408, Issue 1, 2008, Pages 55-65

  Fages, François ^a   Rizk, Aurélien ^a  

^a INRIA   (France)

Author keywords

Constraint solving; Data time series; Model checking; Systems biology; Temporal logic

Indexed keywords

BOOLEAN FUNCTIONS; CONCENTRATION (PROCESS); MATHEMATICAL MODELS; MODEL CHECKING; SIGNAL TRANSDUCTION; STABILITY; TIME SERIES ANALYSIS;

ALGORITHM COMPUTES; AMPLITUDE OF OSCILLATIONS; AND MODELS; AUTOMATIC GENERATIONS; BIOCHEMICAL SYSTEMS; BIOLOGICAL DATUM; BIOLOGICAL PROPERTIES; CELL CYCLE CONTROLS; CONCENTRATION THRESHOLDS; CONSTRAINT SOLVING; DATA TIME SERIES; FIRST-ORDER; LOGIC CONSTRAINTS; NUMERICAL DATUM; QUALITATIVE; QUANTITATIVE INFORMATIONS; QUANTITATIVE MODELS; RELEVANT PATTERNS; STABILITY PROPERTIES; SYSTEMS BIOLOGY; TEMPORAL LOGIC SPECIFICATIONS; TIME SERIES;

TEMPORAL LOGIC;

EID: 54449099185     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.07.004     Document Type: Article

References (25)

1. Antoniotti M., Policriti A., Ugel N., and Mishra B. Model building and model checking for biochemical processes. Cell Biochemistry and Biophysics 38 (2003) 271-286
2. Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu, Model checking genetic regulatory networks using gna and cadp, in: Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004, Barcelona, Spain, April 2004
3. Bernot G., Comet J.-P., Richard A., and Guespin J. A fruitful application of formal methods to biological regulatory networks: Extending thomas' asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229 3 (2004) 339-347
4. Calder M., Vyshemirsky V., Gilbert D., and Orton R. Analysis of signalling pathways using the continuous time markow chains. In: Plotkin G. (Ed). Transactions on Computational Systems Biology VI. Lecture Notes in BioInformatics vol. 4220 (2006), Springer-Verlag 44-67 (CMSB'05 special issue)
5. Calzone L., Chabrier-Rivier N., Fages F., and Soliman S. Machine learning biochemical networks from temporal logic properties. In: Plotkin G. (Ed). Transactions on Computational Systems Biology VI. Lecture Notes in BioInformatics vol. 4220 (2006), Springer-Verlag 68-94 (CMSB'05 special issue)
6. Calzone L., Fages F., and Soliman S. BIOCHAM: An environment for modeling biological systems and formalizing experimental knowledge. BioInformatics 22 14 (2006) 1805-1807
7. Cardelli L. Brane calculi-interactions of biological membranes. In: Danos V., and Schächter V. (Eds). CMSB'04: Proceedings of the Second International Workshop on Computational Methods in Systems Biology. Lecture Notes in BioInformatics vol. 3082 (2004), Springer-Verlag 257-280
8. Chabrier N., and Fages F. Symbolic model checking of biochemical networks. In: Priami C. (Ed). CMSB'03: Proceedings of the First Workshop on Computational Methods in Systems Biology. March 2003, Rovereto, Italy. Lecture Notes in Computer Science vol. 2602 (2003), Springer-Verlag 149-162
9. Chabrier-Rivier N., Chiaverini M., Danos V., Fages F., and Schächter V. Modeling and querying biochemical interaction networks. Theoretical Computer Science 325 1 (2004) 25-44
10. Chen K.~C., Csikász-Nagy A., Györffy B., Val J., Novàk B., and Tyson J.~J. Kinetic analysis of a molecular model of the budding yeast cell cycle. Molecular Biology of the Cell 11 (2000) 396-391
11. Clarke E.~M., Grumberg O., and Peled D.~A. Model Checking (1999), MIT Press
12. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 1 (2004) 69-110
13. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez, Pathway logic: Symbolic analysis of biological signaling, in: Proceedings of the Seventh Pacific Symposium on Biocomputing, January 2002, pp. 400-412
14. Fages F. Temporal logic constraints in the biochemical abstract machine biocham (invited talk). Proceedings of Logic Based Program Synthesis and Transformation, LOPSTR'05. September 2005. Lecture Notes in Computer Science vol. 3901 (2005), Springer-Verlag, London, UK
15. Fages F. From syntax to semantics in systems biology - towards automated reasoning tools. Transactions on Computational Systems Biology IV 3939 (2006) 68-70
16. Fages F., Soliman S., and Chabrier-Rivier N. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 2 (2004) 64-73
17. Gilbert D., Heiner M., and Lehrack S. A unifying framework for modelling and analysing biochemical pathways using petri nets. CMSB'07: Proceedings of the Fifth International Conference on Computational Methods in Systems Biology. Lecture Notes in Computer Science vol. 4695 (2007), Springer-Verlag
18. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic model checking of complex biological pathways. Proc. Computational Methods in Systems Biology. CMSB'06. Lecture Notes in Computer Science vol. 4210 (2006), Springer-Verlag 32-47
19. Iftach Nachman, Aviv Regev, Nir Friedman, Inferring quantitative models of regulatory networks from expression data, in: ISMB/ECCB (Supplement of Bioinformatics), 2004, pp. 248-256
20. Nickovic D., and Maler O. Amt: A property-based monitoring tool for analog systems. Proceedings of 5th International Conference on Formal Modelling and Analysis of Times Systems, FORMATS'07. Salzburg, Austria. Lecture Notes in Computer Science (2007), Springer-Verlag
21. Andrew Phillips, Luca Cardelli, A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology, 2005 (special issue of BioConcur 2004)
22. Reddy V.N., Mavrovouniotis M.L., and Liebman M.N. Petri net representations in metabolic pathways. In: Hunter L., Searls D.B., and Shavlik J.W. (Eds). Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology. ISMB (1993), AAAI Press 328-336
23. Regev A., Panina E.~M., Silverman W., Cardelli L., and Shapiro E. Bioambients: An abstraction for biological compartments. Theoretical Computer Science 325 1 (2004) 141-167
24. Aviv Regev, William Silverman, Ehud Y. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: Proceedings of the Sixth Pacific Symposium of Biocomputing, 2001, pp. 459-470
25. Xu R., Hu X., and Wunsch II D.C. Inference of genetic regulatory networks from time series gene expression data. JCNN 2 (2004) 1215-1220