Advertisement

Algebra, Coalgebra, and Minimization in Polynomial Differential Equations

  • Michele BorealeEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10203)

Abstract

We consider reasoning and minimization in systems of polynomial ordinary differential equations (odes). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow polynomials with a transition system structure based on the concept of Lie derivative, thus inducing a notion of Open image in new window -bisimulation. Two states (variables) are proven Open image in new window -bisimilar if and only if they correspond to the same solution in the odes system. We then characterize Open image in new window -bisimilarity algebraically, in terms of certain ideals in the polynomial ring that are invariant under Lie-derivation. This characterization allows us to develop a complete algorithm, based on building an ascending chain of ideals, for computing the largest Open image in new window -bisimulation containing all valid identities that are instances of a user-specified template. A specific largest Open image in new window -bisimulation can be used to build a reduced system of odes, equivalent to the original one, but minimal among all those obtainable by linear aggregation of the original equations.

Keywords

Ordinary Differential Equations Bisimulation Minimization Gröbner bases 

Notes

Acknowledgments

The author has benefited from stimulating discussions with Mirco Tribastone.

References

  1. 1.
    Antoulas, A.C.: Approximation of Large-scale Dynamical Systems. SIAM, Philadelphia (2005)CrossRefzbMATHGoogle Scholar
  2. 2.
    Arnold, V.I.: Ordinary Differential Equations. The MIT Press, Cambridge (1978). ISBN 0-262-51018-9Google Scholar
  3. 3.
    Bernardo, M.: A survey of markovian behavioral equivalences. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 180–219. Springer, Heidelberg (2007). doi: 10.1007/978-3-540-72522-0_5 CrossRefGoogle Scholar
  4. 4.
    Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: BioNet-Gen: software for rule-based modeling of signal transduction based on the interactions of molecular domains. Bioinformatics 20(17), 3289–3291 (2004)CrossRefGoogle Scholar
  5. 5.
    Bonchi, F., Bonsangue, M.M., Boreale, M., Rutten, J.J.M.M., Silva, A.: A coalgebraic perspective on linear weighted automata. Inf. Comput. 211, 77–105 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Boreale, M.: Weighted bisimulation in linear algebraic form. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 163–177. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-04081-8_12 CrossRefGoogle Scholar
  7. 7.
    Boreale, M.: Analysis of probabilistic systems via generating functions and Padé approximation. In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9135, pp. 82–94. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-47666-6_7. http://local.disia.unifi.it/wp_disia/2016/wp_disia_2016_10.pdf Google Scholar
  8. 8.
    Boreale, M.: Algebra, coalgebra, and minimization in polynomial differential equations. DiSIA working paper, January 2017. http://local.disia.unifi.it/wp_disia/2017wp_disia_2017_01.pdf
  9. 9.
    Cachera, D., Jensen, T., Jobin, A., Kirchner, F.: Inference of polynomial invariants for imperative programs: a farewell to Gröbner bases. In: Miné, A., Schmidt, D. (eds.) SAS 2012. LNCS, vol. 7460, pp. 58–74. Springer, Heidelberg (2012). doi: 10.1007/978-3-642-33125-1_7 CrossRefGoogle Scholar
  10. 10.
    Cardelli, L.: On process rate semantics. Theor. Comput. Sci. 391(3), 190–215 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Symbolic computation of differential equivalences. In: POPL (2016)Google Scholar
  12. 12.
    Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: Efficient syntax-driven lumping of differential equations. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 93–111. Springer, Heidelberg (2016). doi: 10.1007/978-3-662-49674-9_6 CrossRefGoogle Scholar
  13. 13.
    Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A., Networks, comparing chemical reaction : a categorical and algorithmic perspective. In: LICS (2016, to appear)Google Scholar
  14. 14.
    Cardelli, L., Tribastone, M., Tschaikowski, M., Vandin, A.: ERODE: evaluation and reduction of ordinary differential equations. http://sysma.imtlucca.it/tools/erode/
  15. 15.
    Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33–34), 3065–3084 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms An Introduction to Computational Algebraic Geometry and Commutative Algebra. Undergraduate Texts in Mathematics. Springer, New York (2007)zbMATHGoogle Scholar
  17. 17.
    Fliess, M., Reutenauer, C.: Theorie de Picard-Vessiot des Systèmes Reguliers. Colloque Nat. CNRS-RCP567, Belle-ile sept. in Outils et Modèles Mathématiques pour l’Automatique l’Analyse des systèmes et le tratement du signal. CNRS, 1983 (1982)Google Scholar
  18. 18.
    Ghorbal, K., Platzer, A.: Characterizing algebraic invariants by differential radical invariants. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 279–294. Springer, Heidelberg (2014). doi: 10.1007/978-3-642-54862-8_19. http://reports-archive.adm.cs.cmu.edu/anon/2013/CMU-CS-13-129.pdf CrossRefGoogle Scholar
  19. 19.
    Li, G., Rabitz, H., Tóth, J.: A general analysis of exact nonlinear lumping in chemical kinetics. Chem. Eng. Sci. 49(3), 343–361 (1994)CrossRefGoogle Scholar
  20. 20.
    Müller-Olm, M., Seidl, H.: Computing polynomial program invariants. Inf. Process. Lett. 91(5), 233–244 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Okino, M.S., Mavrovouniotis, M.L.: Simplification of mathematical models of chemical reaction systems. Chem. Rev. 2(98), 391–408 (1998)CrossRefGoogle Scholar
  22. 22.
    Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reason. 41(2), 143–189 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Platzer, A.: Logics of dynamical systems. In: LICS, pp. 13–24. IEEE (2012)Google Scholar
  24. 24.
    Rodríguez-Carbonell, E., Kapur, D.: Generating all polynomial invariants in simple loops. J. Symb. Comput. 42(4), 443–476 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  25. 25.
    Rutten, J.J.M.M.: Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theor. Comput. Sci. 308(1–3), 1–53 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Sangiorgi, D.: Beyond bisimulation: the “up-to” techniques. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 161–171. Springer, Heidelberg (2006). doi: 10.1007/11804192_8 CrossRefGoogle Scholar
  27. 27.
    Sankaranarayanan, S., Sipma, H., Manna, Z.: Non-linear loop invariant generation using Gröbner bases. In: POPL (2004)Google Scholar
  28. 28.
    Sankaranarayanan, S.: Automatic invariant generation for hybrid systems using ideal fixed points. In: HSCC 2010, pp. 221–230 (2010)Google Scholar
  29. 29.
    Tiwari, A.: Approximate reachability for linear systems. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, pp. 514–525. Springer, Heidelberg (2003). doi: 10.1007/3-540-36580-X_37 CrossRefGoogle Scholar
  30. 30.
    Tóth, J., Li, G., Rabitz, H., Tomlin, A.S.: The effect of lumping and expanding on kinetic differential equations. SIAM J. Appl. Math. 57(6), 1531–1556 (1997)MathSciNetCrossRefzbMATHGoogle Scholar
  31. 31.
    Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Trans. Softw. Eng. 38(1), 205–219 (2012)CrossRefGoogle Scholar
  32. 32.
    Voit, E.O.: Biochemical systems theory: a review. ISRN Biomath. 2013, 53 (2013)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  1. 1.Dipartimento di Statistica, Informatica, Applicazioni (DiSIA) “G. Parenti”Università di FirenzeFirenzeItaly

Personalised recommendations