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 equationsmodel reductionreachability analysis

Mathematics Subject Classification ID

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

Related Items (1)

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

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