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

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)

zbMATH Keywords

ordinary differential equations; model reduction; reachability analysis

Mathematics Subject Classification ID

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

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

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