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 comeswitharich 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.
Originalsprog | Engelsk |
---|---|
Titel | Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings |
Redaktører | Tiziana Margaria, Axel Legay |
Antal sider | 19 |
Publikationsdato | 2017 |
Sider | 310-328 |
ISBN (Trykt) | 9783662545799 |
DOI | |
Status | Udgivet - 2017 |
Udgivet eksternt | Ja |
Begivenhed | 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 - Uppsala, Sverige Varighed: 22 apr. 2017 → 29 apr. 2017 |
Konference
Konference | 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 |
---|---|
Land/Område | Sverige |
By | Uppsala |
Periode | 22/04/2017 → 29/04/2017 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 10206 LNCS |
ISSN | 0302-9743 |
Bibliografisk note
Publisher Copyright:© Springer-Verlag GmbH Germany 2017.