eprintid: 3766
rev_number: 5
eprint_status: archive
userid: 6
dir: disk0/00/00/37/66
datestamp: 2017-08-08 09:06:01
lastmod: 2017-08-08 09:06:01
status_changed: 2017-08-08 09:06:01
type: book_section
metadata_visibility: show
creators_name: Cardelli, Luca
creators_name: Tribastone, Mirco
creators_name: Tschaikowski, Max
creators_name: Vandin, Andrea
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: max.tschaikowski@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
abstract: We present ERODE, a multi-platform tool for the solution and exact reduction of systems of ordinary differential equations (ODEs). ERODE supports two recently introduced, complementary, equivalence relations over ODE variables: forward differential equivalence yields a self-consistent aggregate system where each ODE gives the cumulative dynamics of the sum of the original variables in the respective equivalence class. Backward differential equivalence identifies variables that have identical solutions whenever starting from the same initial conditions. As back-end ERODE uses the well-known Z3 SMT solver to compute the largest equivalence that refines a given initial partition of ODE variables. In the special case of ODEs with polynomial derivatives of degree at most two (covering affine systems and elementary chemical reaction networks), it implements a more efficient partition-refinement algorithm in the style of Paige and Tarjan. ERODE comes with a rich development environment based on the Eclipse plug-in framework offering: (i) seamless project management; (ii) a fully-featured text editor; and (iii) importing-exporting capabilities.
date: 2017
series: Lecture Notes in Computer Science
number: 10206
publisher: Springer
place_of_pub: Berlin
pagerange: 310-328
id_number: 10.1007/978-3-662-54580-5_19
refereed: TRUE
isbn: 978-3-662-54580-5
book_title: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017
official_url: https://doi.org/10.1007/978-3-662-54580-5_19
citation:   Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations.   In:  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017.   Lecture Notes in Computer Science  (10206).  Springer, Berlin, pp. 310-328.  ISBN 978-3-662-54580-5      (2017)