Making big steps in trajectories

Müller, Norbert and Korovina, Margarita (2010) Making big steps in trajectories. Electronic Proceedings in Theoretical Computer Science, 24. pp. 106-119. ISSN 2075-2180

[img] PDF
big_steps.pdf

Download (324kB)
Official URL: http://published.eptcs.org/

Abstract

We consider the solution of initial value problems within the context of hybrid systems and emphasise 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.

Item Type: Article
Uncontrolled Keywords: CICADA
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 65 Numerical analysis
MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science
MSC 2010, the AMS's Mathematics Subject Classification > 93 Systems theory; control
Depositing User: Dr Margarita Korovina
Date Deposited: 08 Jun 2010
Last Modified: 20 Oct 2017 14:12
URI: http://eprints.maths.manchester.ac.uk/id/eprint/1468

Actions (login required)

View Item View Item