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.