Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE

Download PDF
Open Webpage

Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Published: 2025, Last Modified: 17 Feb 2026ATVA 2025EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We present ERODE, a tool introduced in 2016 to analyze and reduce differential equations and chemical reaction networks. Over the years, it has been extended with further analysis and reduction techniques, as well as formalisms including differential algebraic equations, Boolean networks, networks, and Markov chains. ERODE can import-export towards several tools, including Matlab, BioNetGen, Modelica, PRISM, STORM, Stochkit, GINsim, SBML, and CoLoMoTo. It also has Python APIs.