Skip to main content
Springer Nature Link
Log in

Algebraic Systems Biology: Theses and Hypotheses

  • Conference paper
Algebraic Biology (AB 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4545))

Included in the following conference series:

Abstract

What is systems biology? What can biologists gain from an attempt to algebraize the questions in systems biology? Starting with plausible biological theses, can one algebraically model them and then manipulate them to suggest meaningful hypotheses? Using these hypotheses, can one measure and mine suitable experimental data to validate or refute these hypotheses? Through these intertwined processes of measuring, mining, modeling and manipulating biological systems, can one generate the set of theses and hypotheses upon which systems biology will be founded? This review provides one algorithmic-algebraist’s somewhat idiosyncratic response to these and other related questions, but also aims to persuade young algebraists to examine the possible role they and algebra can play to enrich this subject.

The work reported in this paper was supported by two grants from NSF ITR program.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alur, R., Belta, C., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H., Schug, J.: Modeling and Analyzing Biomolecular Networks. Computing in Science and Engineering 4(1), 20–31 (2002)

    Article  Google Scholar 

  2. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: International Symposium on Logic in Computer Science, vol. 5, pp. 414–425. IEEE Computer Press, Los Alamitos (1990)

    Google Scholar 

  3. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science 138(1), 3–34 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  4. Alur, R., Dang, T., Ivancic, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol. 2289, pp. 25–27. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Alur, R., Dang, T., Ivancic, F.: Counter-example guided predicate abstraction of hybrid systems. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol. 2619, pp. 208–223. Springer, Heidelberg (2003)

    Google Scholar 

  6. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  7. Amonlirdviman, K., Ghosh, R., Axelrod, J.D., Tomlin, C.J.: A Hybrid Systems Approach to Modeling and Analyzing Planar Cell Polarity. In: Proceedings of the 3rd International Conference on Systems Biology (2002)

    Google Scholar 

  8. Anai, H.: Algebraic Approach to Analysis of Discrete-Time Polynomial Systems. In: Proceedings of European Control Conference (ECC 1999) (1999)

    Google Scholar 

  9. Anai, H., Weispfenning, V.: Reach set computations using real quantifier elimination. Technical Report MIP-0012, Fakultät für Mathematik und Informatik, Universität Passau (2000)

    Google Scholar 

  10. Antoniotti, M., Mishra, B., Piazza, C., Policriti, A., Simeoni, M.: Modelling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 57–74. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol. 2552, Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  12. Batt, G., de Jong, H., Geiselmann, J., Page, M.: Qualitative Analysis of Genetic Regulatory Networks: A Model-Checking Approach. In: Bredeweg, B., Salles, P. (eds.) Working Notes of Seventeenth International Workshop on Qualitative Reasoning, QR-2003, pp. 31–38 (2003)

    Google Scholar 

  13. Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  14. Casagrande, A.: Hybrid Systems: A First-Order Approach to Verification and Approximation Techniques. PhD thesis, Department of Mathematics and Computer Science, University of Udine, Advisers - Policriti, A., Villa, T. (2006)

    Google Scholar 

  15. Casagrande, A., Mysore, V., Piazza, C., Mishra, B.: Independent Dynamics Hybrid Automata in System Biology. In: Proceedings of the First International Conference on Algebraic Biology, Tokyo (Japan), (November 28-30, 2005)

    Google Scholar 

  16. Casagrande, A., Mysore, V., Piazza, C., Mishra, B.: Independent Dynamics Hybrid Automata in Systems Biology. In: Proceedings of the First International Conference on Algebraic Biology (AB 2005), November 2005, pp. 61–73, Tokyo, Japan, Universal Academy Press, Inc. (2005)

    Google Scholar 

  17. Casagrande, A., Piazza, C., Mishra, B.: Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. In: CDC-ECC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 678–683. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  18. Casagrande, A., Piazza, C., Mishra, B.: Semi-Algebraic Constant Reset Hybrid Automata - SACoRe. In: CDC-EC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 678–683. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  19. Chabrier, N., Chiaverini, M., Danos, V., Fages, F., Schächter, V.: Modeling and Querying Biochemical Interaction Networks. Theoretical Computer Science 325(1), 25–44 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  20. Chabrier, N., Fages, F.: Symbolic Model Checking of Biochemical Networks. In: Proceedings of the First International Workshop on Computational Methods in Systems Biology, pp. 149–162 (2003)

    Google Scholar 

  21. Cornish-Bowden, A.: Fundamentals of Enzyme Kinetics, 3rd edn. Portland Press, London (2004)

    Google Scholar 

  22. de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9(1), 69–105 (2002)

    Article  Google Scholar 

  23. de Jong, H.: Modeling and Simulation of Genetic Regulatory Networks. Lectures Notes in Control and Information Sciences 294, 111–118 (2003)

    Google Scholar 

  24. Drulhe, S., Ferrari-Trecate, G., de Jong, H., Viari, A.: Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 184–199. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  25. Eker, S., Knapp, M., Laderoute, K., Lincoln, P., Meseguer, J., Sonmez, K.: Pathway Logic: Symbolic Analysis of Biological Signaling. In: Proceedings of the Pacific Symposium on Biocomputing, pp. 400–412 (January 2002)

    Google Scholar 

  26. Fränzle, M.: What will be eventually true of polynomial hybrid automata? In: Kobayashi, N., Pierce, B.C. (eds.) TACS 2001. LNCS, vol. 2215, pp. 340–359. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  27. Fränzle, M., Herde, C.: Efficient proof engines for bounded model checking of hybrid systems. In: FMICS (2004)

    Google Scholar 

  28. Ghosh, R., Tiwari, A., Tomlin, C.: Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 233–248. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Ghosh, R., Tomlin, C.: Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 232–246. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  30. Ghosh, R., Tomlin, C.: An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks. In: CDC-ECC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 2256–2261. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  31. Giorgetti, N., Pappas, G., Bemporad, A.: Bounded model checking of hybrid dynamical system. In: CDC-ECC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 672–677. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  32. Girard, A., Pappas, G.J.: Approximate bisimulations for constrained linear systems. In: CDC-ECC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 4700–4705. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  33. Girard, A., Pappas, G.J.: Approximate bisimulations for nonlinear dynamical systems. In: CDC-ECC 2005. Proceedings of the 44rd Conference on Decision and Control and European Control Conference, Seville, Spain, December 2005, pp. 690–695. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  34. Girard, A., Pappas, G.J.: Approximate simulation relations for hybrid systems. In: Proceedings of Analysis and Design of Hybrid Systems (ADHA 2006), page Algero, Italy, June (to appear, June 2006)

    Google Scholar 

  35. Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-time Systems. In: 7th Annual IEEE Symposium on Logic in Computer Science IEEE, pp. 394–406. IEEE Computer Society Press, Los Alamitos (1992)

    Google Scholar 

  36. Hu, J., Wu, W.-C., Sastry, S.: Subtilin Production in Bacillus subtilis using Stochastic Hybrid Systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 417–431. Springer, Heidelberg (2004)

    Google Scholar 

  37. Ideker, T., Lauffenburger, D.: Building with a Scaffold: Emerging Strategies for High- to Low-Level Cellular Modeling. Trends in Biotechnology 21(6), 255–262 (2003)

    Article  Google Scholar 

  38. Kappler, K., Edwards, R., Glass, L.: Dynamics in High Dimensional Model Gene Networks. Signal Processing 83, 789–798 (2002)

    Article  Google Scholar 

  39. Keener, J.P., Sneyd, J.: Mathematical Physiology. Springer, New York (1998)

    MATH  Google Scholar 

  40. Kopke, P.W.: The Theory of Rectangular Hybrid Automata. PhD thesis, Faculty of the Graduate School, Cornell University, Adviser - Henzinger, T.A (1996)

    Google Scholar 

  41. Lafferriere, G., Pappas, G.J., Sastry, S.: O-minimal hybrid systems. Mathematics of Control, Signals, and Systems 13, 1–21 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  42. Lafferriere, G., Pappas, G.J., Yovine, S.: Symbolic reachability computation for families of linear vector fields. Journal of Symbolic Computation 32(3), 231–253 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  43. Lincoln, P., Tiwari, A.: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 660–672. Springer, Heidelberg (2004)

    Google Scholar 

  44. Mandelbrot, B.: The Fractal Geometry of Nature. Freeman Co, San Francisco (1982)

    MATH  Google Scholar 

  45. Mishra, B.: Algorithmic Algebra. Springer, New York (1993)

    MATH  Google Scholar 

  46. Mishra, B.: A Symbolic Approach to Modeling Cellular Behavior. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol. 2552, pp. 725–732. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  47. Mishra, B.: Computational Real Algebraic Geometry, pp. 740–764. CRC Press, Boca Raton, FL (2004)

    Google Scholar 

  48. Mysore, V.: Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology. PhD thesis, Department of Computer Science, New York University, Advisors - Mishra, B. (2006)

    Google Scholar 

  49. Mysore, V., Casagrande, A., Piazza, C., Mishra, B.: Tolque – A Tool for Algorithmic Algebraic Model Checking. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, Springer, Heidelberg (2006)

    Google Scholar 

  50. Mysore, V., Mishra, B.: Algorithmic Algebraic Model Checking III: Approximate Methods. In: Infinity 2005 – The 7th International Workshop on Verification of Infinite-State Systems, vol. 149(1) of Electronic Notes in Theoretical Computer Science, pp. 61–77 (February 2006)

    Google Scholar 

  51. Mysore, V., Mishra, B.: Algorithmic Algebraic Model Checking IV: Metabolic Networks. Journal of Mathematical Biology (to be submitted, 2006)

    Google Scholar 

  52. Mysore, V., Piazza, C., Mishra, B.: Algorithmic Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology. In: Peled, D.A., Tsay, Y.-K. (eds.) ATVA 2005. LNCS, vol. 3707, pp. 217–233. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  53. Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis. CIMS-TR 2005-859, Courant Institute Of Mathematical Sciences (2005)

    Google Scholar 

  54. Piazza, C., Antoniotti, M., Mysore, V., Policriti, A., Winkler, F., Mishra, B.: Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 5–19. Springer, Heidelberg (2005)

    Google Scholar 

  55. Platzer, U., Meinzer, H.-P.: Simulation of Genetic Networks in Multicellular Context. In: Kim, D.J., Polani, M.T (ed.) Fifth German workshop on Artificial Life: Abstracting and Synthesizing the Principles of Living Systems, pp. 43–51 Akad. Verl.-Ges. (2002)

    Google Scholar 

  56. Puri, A., Varaiya, P.: Decidebility of hybrid systems with rectangular differential inclusions. Computer Aided Verification, pp. 95–104 (1994)

    Google Scholar 

  57. Sachs, K., Gifford, D., Jaakkola, T., Sorger, P., Lauffenburger, D.A.: Bayesian Network Approach to Cell Signaling Pathway Modeling. In: Sci. STKE (2002)

    Google Scholar 

  58. Shmulevich, I., Gluhovsky, I., Hashimoto, R.F., Dougherty, E.R., Zhang, W.: Steady-State Analysis of Genetic Regulatory Networks Modelled by Probabilistic Boolean Networks. Comparative and Functional Genomics 4, 601–608 (2003)

    Article  Google Scholar 

  59. Voit, E.O.: Computational Analysis of Biochemical Systems. A Pratical Guide for Biochemists and Molecular Biologists. Cambridge University Press, Cambridge (2000)

    Google Scholar 

  60. Voit, E.O., Savageau, M.: Equivalence between S-systems and Volterra systems. Mathematical Biosciences 78, 47–55 (1986)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Courant Institute, New York University, New York, NY, U.S.A.

    Bud Mishra

  2. NYU School of Medicine, New York University, New York, NY, U.S.A.

    Bud Mishra

Authors
  1. Bud Mishra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hirokazu Anai Katsuhisa Horimoto Temur Kutsia

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mishra, B. (2007). Algebraic Systems Biology: Theses and Hypotheses . In: Anai, H., Horimoto, K., Kutsia, T. (eds) Algebraic Biology. AB 2007. Lecture Notes in Computer Science, vol 4545. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73433-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73433-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73432-1

  • Online ISBN: 978-3-540-73433-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics