Symbolic computation of differential equivalences

DOI10.1145/2837614.2837649zbMath1347.68258OpenAlexW2293292615WikidataQ56981841 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 equationspartition refinementsatisfiability modulo theoryquantitative equivalence relations

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Classical flows, reactions, etc. in chemistry (92E20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42) Applications of continuous-time Markov processes on discrete state spaces (60J28)

Related Items (12)

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

Uses Software

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

This page was built for publication: Symbolic computation of differential equivalences