An algorithm for the formal reduction of differential equations as over-approximations
DOI10.1007/978-3-031-16336-4_9zbMATH Open1522.93048MaRDI QIDQ6160777FDOQ6160777
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)
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
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
- Model reduction for initial value ODEs
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)
Cites Work
- Title not available (Why is that?)
- Bounds on the reachable sets of nonlinear control systems
- Biochemical systems theory: a review
- Analysis of Kinetic Reaction Mechanisms
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Computing reachable sets for uncertain nonlinear monotone systems
- Title not available (Why is that?)
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis
- Syntactic Markovian bisimulation for chemical reaction networks
- Symbolic computation of differential equivalences
- Mean-field limits beyond ordinary differential equations
- Forward and backward bisimulations for chemical reaction networks
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
Cited In (5)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
- Recomputing causality assignments on lumped process models when adding new simplification assumptions
- Efficient syntax-driven lumping of differential equations
- Title not available (Why is that?)
- 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)
