2016 **Abstract:** Ordinary differential equations (ODEs) are widespread in many natural sciences including chemistry, ecology, and systems biology, and in disciplines such as control theory and electrical engineering. Building on the celebrated molecules-as-processes paradigm, they have become increasingly popular in computer science, with high-level languages and formal methods such as Petri nets, process algebra, and rule-based systems that are interpreted as ODEs. We consider the problem of comparing and minimizing ODEs auto…

Help me understand this report

Search citation statements

Paper Sections

Select...

5

Citation Types

1

54

0

Year Published

2019

2019

Publication Types

Select...

1

Relationship

1

0

Authors

Journals

(55 citation statements)

(51 reference statements)

1

54

0

“…This notion, called emulation, has been recently introduced in [2], but no procedure to compute it was provided. Later, emulation has been related in [5] to a backward differential equivalence (BDE). This is an equivalence relation over the variables of an ODE system such that equivalent variables have the same ODE solutions whenever initialized equally.…”

confidence: 99%

“…This notion, called emulation, has been recently introduced in [2], but no procedure to compute it was provided. Later, emulation has been related in [5] to a backward differential equivalence (BDE). This is an equivalence relation over the variables of an ODE system such that equivalent variables have the same ODE solutions whenever initialized equally.…”

confidence: 99%

“…A partition-refinement algorithm to compute the largest BDE (i.e., the unique BDE relation that contains any other BDE relation) has been provided in [5]. It cannot be used, however, to find emulations.…”

confidence: 99%