Language-based abstractions for dynamical systems

Andrea Vandin*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review


Ordinary differential equations (ODEs) are the primary means to modelling dynamical systems in many natural and engineering sciences. The number of equations required to describe a system with high heterogeneity limits our capability of effectively performing analyses. This has motivated a large body of research, across many disciplines, into abstraction techniques that provide smaller ODE systems while preserving the original dynamics in some appropriate sense. In this paper we give an overview of a recently proposed computer-science perspective to this problem, where ODE reduction is recast to finding an appropriate equivalence relation over ODE variables, akin to classical models of computation based on labelled transition systems.

Original languageEnglish
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Pages (from-to)15-24
Number of pages10
Publication statusPublished - 12 Jul 2017
Externally publishedYes

Fingerprint Dive into the research topics of 'Language-based abstractions for dynamical systems'. Together they form a unique fingerprint.

Cite this