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...

Descrizione completa

Dettagli Bibliografici
Autori principali: Cardelli, L, Tribastone, M, Tschaikowski, M, Vandin, A
Altri autori: Chechik, M
Natura: Conference item
Pubblicazione: Springer 2016