An algorithm for the formal reduction of differential equations as over-approximations
From MaRDI portal
Publication:6160777
DOI10.1007/978-3-031-16336-4_9zbMath1522.93048MaRDI QIDQ6160777
Max Tschaikowski, Mirco Tribastone, Andrea Vandin, Giuseppe Squillace
Publication date: 2 June 2023
Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)
92D30: Epidemiology
92E20: Classical flows, reactions, etc. in chemistry
93B11: System structure simplification
93B03: Attainable sets, reachability
93C15: Control/observation systems governed by ordinary differential equations
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Biochemical systems theory: a review
- Computing reachable sets for uncertain nonlinear monotone systems
- Bounds on the reachable sets of nonlinear control systems
- Mean-Field Limits Beyond Ordinary Differential Equations
- Analysis of Kinetic Reaction Mechanisms
- Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Syntactic Markovian Bisimulation for Chemical Reaction Networks
- Forward and Backward Bisimulations for Chemical Reaction Networks
- Symbolic computation of differential equivalences
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis