Modeling cellular behavior with hybrid automata: Bisimulation and collapsing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2602, Issue , 2003, Pages 57-74

  Antoniotti, Marco ^a   Mishra, Bhubaneswar ^a,b   Piazza, Carla ^c   Policriti, Alberto ^d   Simeoni, Marta ^c  

^a NEW YORK UNIVERSITY   (United States)

^b WATSON SCHOOL OF BIOLOGICAL SCIENCES   (United States)

^c CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^d UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; BIOLOGICAL SYSTEMS; BIOLOGY; DIFFERENTIAL EQUATIONS; ORDINARY DIFFERENTIAL EQUATIONS;

CELLULAR BEHAVIORS; DIFFERENTIAL ALGEBRAIC EQUATIONS; HYBRID AUTOMATONS; INITIAL CONDITIONS; NUMERICAL SOLUTION; REDUCED AUTOMATA; SEVERAL VARIABLES; TEMPORAL EVOLUTION;

AUTOMATA THEORY;

EID: 33845970270     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36481-1_6     Document Type: Conference Paper

References (28)

1. [1] R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Hybrid Systems: Computation and Control, volume 2034 of LNCS, pages 19–32. Springer-Verlag, 2001. 60, 62, 67
2. [2] R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Richel, editors, Hybrid Systems, LNCS, pages 209–229. Springer-Verlag, 1992. 66
3. [3] M. Antoniotti, F. C. Park, A. Policriti, N. Ugel, and B. Mishra. Foundations of a Query and Simulation System for the Modeling of Biochemical and Biological Processes. In Proc. of the Pacific Symposium of Biocomputing (PSB’03), 2003. 58, 59
4. M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. XS-systems: extended Ssystems and algebraic differential automata for modeling cellular behaviour. In Proc of Int. Conference on High Performance Computing (HiPC’02), 2002. 58, 59, 60, 63, 64, 66, 71
5. [5] M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. Model Building and Model Checking for Biological Processes. Cell Biochemistry and Biophysics, 2003. To appear. 58
6. U. S. Bhalla. Data Base of Quatitative Cellular Signaling (DOQCS). Websit e at http://doqcs.ncbs.res.in/, 2001. 58
7. [7] R. W. Brockett. Dynamical systems and their associated automata. In Systems and Networks: Mathematical Theory and Applications, volume 77. Akademie- Verlag, Berlin, 1994. 59
8. [8] E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, 1999. 63
9. [9] E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using brancing time temporal logic. In Proc. Workshop Logic of Programs, volume 131 of LNCS. Springer, 1981. 68
10. [10] M. Curti, P. Degano, C. Priami, and C. T. Baldari. Casual π-calculus for biochemical modelling. DIT 02, University of Trento, 2002. 60
11. [11] H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. DIT 4032, Inria, 2000. 59
12. [12] A. Dovier, C. Piazza, and A. Policriti. A fast bisimulation algorithm. In G. Berry, H. Comon, and A. Finkel, editors, Proc of Int. Conference on Computer Aided Verification (CAV’01), volume 2102 of LNCS, pages 79–90. Springer-Verlag, 2001. 70
13. [13] M. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403:335–338, 2000. 59, 65
14. [14] E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 995–1072. MIT Press, 1990. 62, 64
15. [15] T. A. Henzinger. The theory of hybrid automata. In Proc of IEEE Symposium on Logic in Computer Science (LICS’96), pages 278–292. IEEE Press, 1996. 67, 68
16. [16] T. A. Henzinger, P. H. Ho, and H. Wong-Toi. HYTECH: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer, 1(1–2):110–122, 1997. 67
17. [17] J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979.
18. [18] P. D. Karp, M. Riley, S. Paley, and A. Pellegrini-Toole. The MetaCyc Database. Nucleic Acid Research, 30(1):59, 2002. 58
19. [19] P. D. Karp, M. Riley, M. Saier, and S. Paley A. Pellegrini-Toole. The EcoCyc Database. Nucleic Acids Research, 30(1):56, 2002. 58
20. KEGG database. http://www.genome.ad.jp/kegg/. 58
21. [21] H. Kitano. Systems Biology: an Overview. Science, 295:1662–1664, March 2002. 57
22. [22] O. Muller and T. Stauner. Modelling and verification using linear hybrid automata. Mathematical and Computer Modelling of Dynamical Systems, 6(1):71– 89, 2000. 67
23. Nat. Cent. Genome Resources. Pathdbd atabase. http://www.ncgr.org/pathdb/. 58
24. [24] R. Paige, R. E. Tarjan, and R. Bonic. A linear time solution to the single function coarsest partition problem. Theoretical Computer Science, 40:67–84, 1985. 70
25. [25] A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. In Proc. of the Pacific Symposium of Biocomputing (PSB’01), pages 459–470, 2003. 60
26. [26] D. Shasha, A. Kouranov, L. Lejay, C. Chou, and G. Coruzzi. Combinatorial Design to study regulation by multiple input signals: A tool for parsimony in the post-genomics era. Plant Physiology, 127:1590–1594, December 2001. 59
27. [27] E. O. Voit. Computational Analysis of Biochemical Systems. A Pratical Guide for Biochemists and Molecular Biologists. Cambridge University Press, 2000. 60, 61, 65
28. WIT database. http://wit.mcs.anl.gov/WIT2/. 58