Efficient Syntax-Driven Lumping of Differential Equations

@inproceedings{Cardelli2016EfficientSL,
  title={Efficient Syntax-Driven Lumping of Differential Equations},
  author={Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin},
  booktitle={TACAS},
  year={2016}
}
We present an algorithm to compute exact aggregations of a class of systems of ordinary differential equations ODEs. Our approach consists in an extension of Paige and Tarjan's seminal solution to the coarsest refinement problem by encoding an ODE system into a suitable discrete-state representation. In particular, we consider a simple extension of the syntax of elementary chemical reaction networks because i it can express ODEs with derivatives given by polynomials of degree at most two, which… 
Symbolic computation of differential equivalences
TLDR
This work proposes differential equivalence relations for biochemical models from the literature that cannot be reduced using competing automatic techniques, and provides novel symbolic procedures to check an equivalence and compute the largest one via partition refinement algorithms that use satisfiability modulo theories.
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
TLDR
ERODE supports two recently introduced, complementary, equivalence relations over ODE variables: forward differential equivalence yields a self-consistent aggregate system where each ODE gives the cumulative dynamics of the sum of the original variables in the respective equivalence class.
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
TLDR
An algorithm for the computation of equivalence relations which can be interpreted as a lifting of probabilistic bisimulation to polynomial differential equations, a ubiquitous model of dynamical systems across science and engineering is developed.
Maximal aggregation of polynomial dynamical systems
TLDR
An aggregation technique that rests on two notions of equivalence relating ODE variables whenever they have the same solution (backward criterion) or if a self-consistent system can be written for describing the evolution of sums of variables in the same equivalence class (forward criterion).
Language-based Abstractions for Dynamical Systems
TLDR
An overview of a recently proposed computer-science perspective to ODE reduction is recast to finding an appropriate equivalence relation over ODE variables, akin to classical models of computation based on labelled transition systems.
Syntactic Markovian Bisimulation for Chemical Reaction Networks
TLDR
An efficient partition-refinement algorithm which computes the largest SMB of a CRN in polynomial time in the number of species and reactions, and implies forward CRN bisimulation, a recently developed behavioral notion of equivalence for the ODE semantics, in an analogous sense: it yields a smaller ODE system that keeps track of the sums of the solutions for equivalent species.
Backward Invariance for Linear Differential Algebraic Equations
TLDR
Backward invariance is presented, which relates DAE variables that have equal solutions at all time points (thus requiring them to start with equal initial conditions), and applied to the electrical engineering domain, showing that backward invariance can explain symmetries in certain networks as well as analyze DAEs which could not be originally treated due to their size.
SPEEDING UP STOCHASTIC AND DETERMINISTIC SIMULATION BY AGGREGATION: AN ADVANCED TUTORIAL
TLDR
This paper offers an advanced tutorial on an array of recently developed algorithms that seek to tame the complexity of these models by aggregating their constituting systems of equations, leading to lower-dimensional systems that preserve the original dynamics in some appropriate, formal sense.
SPEEDING UP STOCHASTIC AND DETERMINISTIC SIMULATION BY AGGREGATION: AN ADVANCED TUTORIAL
TLDR
This paper offers an advanced tutorial on an array of recently developed algorithms that seek to tame the complexity of these models by aggregating their constituting systems of equations, leading to lower-dimensional systems that preserve the original dynamics in some appropriate, formal sense.
...
...

References

SHOWING 1-10 OF 36 REFERENCES
Symbolic computation of differential equivalences
TLDR
This work proposes differential equivalence relations for biochemical models from the literature that cannot be reduced using competing automatic techniques, and provides novel symbolic procedures to check an equivalence and compute the largest one via partition refinement algorithms that use satisfiability modulo theories.
Differential Bisimulation for a Markovian Process Algebra
TLDR
This work presents differential bisimulation, a behavioral equivalence developed as the ODE counterpart of bisimulations for languages with probabilistic or stochastic semantics, and provides an efficient partition-refinement algorithm to compute the coarsest ODE aggregation of a model according to differential bisIMulation.
Forward and Backward Bisimulations for Chemical Reaction Networks
TLDR
A unified algorithm is provided that computes the coarsest refinement up to the authors' bisimulations in polynomial time and algorithms to compute quotient CRNs induced by a bisimulation are given.
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
TLDR
A reduction method is constructed which generates (typically) far smaller systems of differential equations than the concrete/canonical one, and it is shown that the abstract/reduced differential system has solutions which are linear combinations of the canonical ones.
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
TLDR
This work uses piecewise affine lower-bound functions to compute more accurately guaranteed over-approximations of the reachable sets of discrete-time polynomial dynamical systems and shows different ways to choose suitable polyhedral templates.
Exact fluid lumpability in Markovian process algebra
Efficient modeling, simulation and coarse-graining of biological complexity with NFsim
TLDR
The Network-Free Stochastic Simulator (NFsim) is introduced, a general- Purpose modeling platform that overcomes the combinatorial nature of molecular interactions and enables researchers to simulate many biological systems that were previously inaccessible to general-purpose software.
Deciding Bisimilarity and Similarity for Probabilistic Processes
TLDR
Algorithms for computing this bisimulation equivalence classes as introduced by Larsen and Skou, the simulation preorder a la Segala and Lynch, and the reduction to maximum flow problems in suitable networks are presented.
Simulation of large-scale rule-based models
TLDR
DYNSTOC enables the simulation of rule-based models that cannot be simulated by conventional methods and is demonstrated to simulate models accounting for multisite phosphorylation and multivalent binding processes that are characterized by large numbers of reactions.
A general analysis of exact lumping in chemical kinetics
...
...