Exact hierarchical reductions of dynamical models via linear transformations
From MaRDI portal
Representations of associative Artinian rings (16G10) Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) Transformation and reduction of ordinary differential equations and systems, normal forms (34C20) Classical flows, reactions, etc. in chemistry (92E20)
Abstract: Dynamical models described by ordinary differential equations (ODEs) are a fundamental tool in the sciences and engineering. Exact reduction aims at producing a lower-dimensional model in which each macro-variable can be directly related to the original variables, and it is thus a natural step towards the model's formal analysis and mechanistic understanding. We present an algorithm which, given a polynomial ODE model, computes a longest possible chain of exact linear reductions of the model such that each reduction refines the previous one, thus giving a user control of the level of detail preserved by the reduction. This significantly generalizes over the existing approaches which compute only the reduction of the lowest dimension subject to an approach-specific constraint. The algorithm reduces finding exact linear reductions to a question about representations of finite-dimensional algebras. We provide an implementation of the algorithm, demonstrate its performance on a set of benchmarks, and illustrate the applicability via case studies. Our implementation is freely available at https://github.com/x3042/ExactODEReduction.jl
Recommendations
- Computing exact nonlinear reductions of dynamical models
- Exact linear reduction for rational dynamical systems
- Towards an automated reduction method for polynomial ODE models of biochemical reaction systems
- An algorithm for the formal reduction of differential equations as over-approximations
- Interpretable exact linear reductions via positivity
Cites work
- A large-scale assessment of exact model reduction in the biomodels repository
- A note on group representations, determinantal hypersurfaces and their quantizations
- A sage package for the symbolic-numeric factorization of linear differential operators
- Algorithm 1000: SuiteSparse:GraphBLAS: graph algorithms in the language of sparse linear algebra
- Approximate bisimulation: a bridge between computer science and control theory
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
- Approximation of Large-Scale Dynamical Systems
- Automatic abstraction of non-linear systems using change of bases transformations
- Bounds on the reachable sets of nonlinear control systems
- Computing convex hulls and counting integer points with \texttt{polymake}
- Computing the structure of finite algebras
- Every projective variety is a quiver Grassmannian.
- Exact linear reduction for rational dynamical systems
- Fast Library for Number Theory: An Introduction
- Formal reduction for rule-based models
- Foundations of chemical reaction network theory
- How to compute the Wedderburn decomposition of a finite-dimensional associative algebra.
- scientific article; zbMATH DE number 1253966 (Why is no real title available?)
- scientific article; zbMATH DE number 481965 (Why is no real title available?)
- scientific article; zbMATH DE number 612882 (Why is no real title available?)
- scientific article; zbMATH DE number 802623 (Why is no real title available?)
- Interpretable exact linear reductions via positivity
- Julia: a fresh approach to numerical computing
- Linear algebra done right
- Lumpability abstractions of rule-based systems
- Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
- Quiver Representations and Dimension Reduction in Dynamical Systems
- Rule-Based Modelling of Cellular Signalling
- Scaling invariants and symmetry reduction of dynamical systems
- Symbolic computation of differential equivalences
- The Distribution of Galois Groups and Hilbert's Irreducibility Theorem
Cited in
(4)
This page was built for publication: Exact hierarchical reductions of dynamical models via linear transformations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6121818)
