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.

Maximal aggregation of polynomial dynamical systems

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).

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.

ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations

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.

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.

Exact model reduction of combinatorial reaction networks

This work provides techniques to handle the formation of multi-scaffold complexes as well as receptor dimerization and discusses a new modeling approach that allows the direct generation of exactly reduced model structures.