Exact linear reduction for rational dynamical systems

  title={Exact linear reduction for rational dynamical systems},
  author={Antonio Jim'enez-Pastor and Joshua Paul Jacob and Gleb Pogudin},
Detailed dynamical systems models used in life sciences may include dozens or even hundreds of state variables. Models of large dimension are not only harder from the numerical perspective (e.g., for parameter estimation or simu-lation), but it is also becoming challenging to derive mechanistic insights from such models. Exact model reduction is a way to address this issue by finding a self-consistent lower-dimensional projection of the corresponding dynamical system. A recent algorithm CLUE… 



CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations

This work presents CLUE, an algorithm for exact model reduction of systems of polynomial differential equations by constrained linear lumping that computes the smallest dimensional reduction as a linear mapping of the state space such that the reduced model preserves the dynamics of user-specified linear combinations of the original variables.

Symbolic computation of differential equivalences

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.

Internal coarse-graining of molecular systems

This work presents a formal (and automated) method for constructing a coarse-grained and self-consistent dynamical system aimed at molecular patterns that are distinguishable by the dynamics of the original system as posited by the rules.

Efficient modeling, simulation and coarse-graining of biological complexity with NFsim

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.

Beautiful differentiation

This paper develops an implementation of higher-dimensional, higher-order, forward-mode AD in the extremely general and elegant setting of calculus on manifolds and derives that implementation from a simple and precise specification.

Simplification of Mathematical Models of Chemical Reaction Systems.

The simulation, monitoring, and control of a complex chemical process benefit from the derivation of accurate and reliable reduced models tailored to particular process modeling tasks.

Approximation of Large-Scale Dynamical Systems

  • A. Antoulas
  • Computer Science
    Advances in Design and Control
  • 2005
This paper presents SVD-Krylov Methods and Case Studies, a monograph on model reduction using Krylov methods for linear dynamical systems, and some examples of such reduction schemes.

Automatic differentiation in machine learning: a survey

By precisely defining the main differentiation techniques and their interrelationships, this work aims to bring clarity to the usage of the terms “autodiff’, “automatic differentiation”, and “symbolic differentiation" as these are encountered more and more in machine learning settings.