Symbolic computation of differential equivalences

DOI10.1145/2837614.2837649zbMath1347.68258WikidataQ56981841 ScholiaQ56981841MaRDI QIDQ5890964

Mirco Tribastone, Luca Cardelli, Andrea Vandin, Max Tschaikowski

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/3435/1/z3-popl16.pdf

zbMATH Keywords

ordinary differential equations; partition refinement; satisfiability modulo theory; quantitative equivalence relations

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

92E20: Classical flows, reactions, etc. in chemistry

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

60J28: Applications of continuous-time Markov processes on discrete state spaces

Related Items

Lumping Reductions for Multispread in Multi-Layer Networks, Symbolic computation of differential equivalences, Formal lumping of polynomial differential equations through approximate equivalences, An algorithm for the formal reduction of differential equations as over-approximations, Lumpability for uncertain continuous-time Markov chains, Reducing Boolean networks with backward Boolean equivalence, A large-scale assessment of exact lumping of quantitative models in the biomodels repository, Logical characterization of fluid equivalences, Equivalences for fluid stochastic Petri nets, Comparing chemical reaction networks: a categorical and algorithmic perspective, Quantitative Abstractions for Collective Adaptive Systems, Algebra, Coalgebra, and Minimization in Polynomial Differential Equations

Uses Software

• PRISM
• Bio-PEPA
• z3
• BioNetGen
• BIOCHAM