ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 14:00 - 15:00 at S7 - Session III

Ordinary differential equations (ODEs) are of paramount importance in the modeling of biochemical and cyber-physical systems. Unfortunately, many practical systems are too large to be analyzed efficiently. A common way of approaching this problem are reduction (alternatively, abstraction) techniques which relate the original system to a smaller one in a formal sense. However, at the same time, it is well-known that common notions of reduction are not robust to parameter perturbation. After discussing exact notions of reduction, the present talk will therefore address approximate reduction techniques. Moreover, future research directions will be addressed.

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Session IIIQAPL at S7
14:00 - 15:00
Talk
QAPL
15:00 - 15:30
Talk
QAPL
Marco BernardoUniversity of Urbino