Computing reachable sets via barrier methods on SIMD architectures

Titelangaben

Grüne, Lars ; Jahn, Thomas U.:
Computing reachable sets via barrier methods on SIMD architectures.
Department of Mathematics, University of Bayreuth
Bayreuth , 2012 . - 20 S.

Volltext

	Format: PDF Name: Gruene_Jahn_comp_reach_sets_barrier_meth_simd_arch_2012.pdf Version: Angenommene Version Verfügbar mit der Lizenz Deutsches Urheberrechtsgesetz. Das Dokument darf zum eigenen Gebrauch kostenfrei genutzt werden. Darüber hinaus bedürfen die Vervielfältigung, Bearbeitung, Verbreitung und jede Art der Verwertung der schriftlichen Zustimmung des jeweiligen Rechteinhabers.
	Download (2MB)

Abstract

We consider the problem of computing reachable sets of ODE-based control systems parallely on CUDA hardware. To this end, we modify an existing algorithm based on solving optimal control problems. The idea is to simplify the optimal control problems to pure feasibility problems instead of minimizing an objective function. We show that an interior point algorithm is well suited for solving the resulting feasibility problems and leads to a sequence of linear systems of equations with identical matrix layout. If the problem is defined properly, these matrices are sparse and can be transformed into a hierarchical lower arrow form which can be solved on CUDA hardware with sparse linear algebra and Cholesky’s method. We demonstrate the performance of our new algorithm by computing the reachable sets of two test problems on a CPU implementation using several explicit and implicit Runge-Kutta methods of different order. The experiments reveal a significant speedup compared to the original optimal control algorithm.