Title: Making big steps in trajectories

Speaker: Prof. Dr. Norbert Theodor Muller (University Trier, Germany)

Time: 3:00pm, September 8th (Thursday), 2011.

Venue: Lecture Room, Level 3, Building No. 5, State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences

Abstract:We consider the solution of initial value problems within the context of hybrid systems and emphasize the use of high precision approximations (in software for exact real arithmetic). We propose a novel algorithm for the computation of trajectories up to the area where discontinuous jumps appear, applicable for holomorphic flow functions. Examples with a prototypical implementation illustrate that the algorithm might provide results with higher precision than well-known ODE solvers at a similar computation time.

A brief biography of speaker is enclosed in the attachment.