An algorithm for the formal reduction of differential equations as over-approximations

DOI10.1007/978-3-031-16336-4_9MaRDI QIDQ6160777zbMATH OpenFDO

Authors Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publication date 2 June 2023

Published in Quantitative Evaluation of Systems (Search for Journal in Brave)

zbMATH Keywords

ordinary differential equationsmodel reductionreachability analysis

Mathematics Subject Classification ID

Epidemiology (92D30) Attainable sets, reachability (93B03) System structure simplification (93B11) Control/observation systems governed by ordinary differential equations (93C15) Classical flows, reactions, etc. in chemistry (92E20)

Recommendations

• Efficient syntax-driven lumping of differential equations
• Towards an automated reduction method for polynomial ODE models of biochemical reaction systems
• Guaranteed error bounds for structured complexity reduction of biochemical networks
• Model reduction for initial value ODEs

Cites work

• scientific article; zbMATH DE number 4079233 (Why is no real title available?)
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• Analysis of Kinetic Reaction Mechanisms
• Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
• Biochemical systems theory: a review
• Bounds on the reachable sets of nonlinear control systems
• Computing reachable sets for uncertain nonlinear monotone systems
• Forward and backward bisimulations for chemical reaction networks
• Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
• Mean-field limits beyond ordinary differential equations
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
• Symbolic computation of differential equivalences
• Syntactic Markovian bisimulation for chemical reaction networks

Cited in

(5)

• scientific article; zbMATH DE number 1474958 (Why is no real title available?)
• Efficient syntax-driven lumping of differential equations
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
• Recomputing causality assignments on lumped process models when adding new simplification assumptions
• Exact hierarchical reductions of dynamical models via linear transformations

This page was built for publication: An algorithm for the formal reduction of differential equations as over-approximations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6160777)