Efficient syntax-driven lumping of differential equations

We present an algorithm to compute exact aggregations of a class of systems of ordinary differential equations (ODEs). Our approach consists in an extension of Paige and Tarjan’s seminal solution to the coarsest refinement problem by encoding an ODE system into a suitable discrete-state representati...

Full description

Bibliographic Details
Main Authors: Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A
Other Authors: Chechik, M
Format: Conference item
Published: Springer 2016