TY - GEN A1 - Weiser, Martin T1 - Linear convergence of an interior point method for linear control constrained optimal control problems N2 - The paper provides a detailed analysis of a short step interior point algorithm applied to linear control constrained optimal control problems. Using an affine invariant local norm and an inexact Newton corrector, the well-known convergence results from finite dimensional linear programming can be extended to the infinite dimensional setting of optimal control. The present work complements a recent paper of Weiser and Deuflhard, where convergence rates have not been derived. The choice of free parameters, i.e. the corrector accuracy and the number of corrector steps, is discussed. T3 - ZIB-Report - 02-13 KW - linear optimal control KW - infinite dimensional KW - interior point methods KW - inexact Newton methods Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6809 ER - TY - GEN A1 - Horenko, Illia A1 - Weiser, Martin T1 - Adaptive Integration of Multidimensional Molecular Dynamics with Quantum Initial Conditions N2 - The paper presents a particle method framework for resolving molecular dynamics. Error estimators for both the temporal and spatial discretization are advocated and facilitate a fully adaptive propagation. For time integration, the implicit trapezoidal rule is employed, where an explicit predictor enables large time steps. The framework is developed and exemplified in the context of the classical Liouville equation, where Gaussian phase-space packets are used as particles. Simplified variants are discussed shortly, which should prove to be easily implementable in common molecular dynamics codes. A concept is illustrated by numerical examples for one-dimensional dynamics in double well potential. T3 - ZIB-Report - 02-29 KW - particle methods KW - adaptivity KW - classical Liouville equation KW - molecular dynamics Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6967 ER - TY - GEN A1 - Deuflhard, Peter A1 - Nowak, Ulrich A1 - Weiser, Martin T1 - Affine Invariant Adaptive Newton Codes for Discretized PDEs N2 - The paper deals with three different Newton algorithms that have recently been worked out in the general frame of affine invariance. Of particular interest is their performance in the numerical solution of discretized boundary value problems (BVPs) for nonlinear partial differential equations (PDEs). Exact Newton methods, where the arising linear systems are solved by direct elimination, and inexact Newton methods, where an inner iteration is used instead, are synoptically presented, both in affine invariant convergence theory and in numerical experiments. The three types of algorithms are: (a) affine covariant (formerly just called affine invariant) Newton algorithms, oriented toward the iterative errors, (b) affine contravariant Newton algorithms, based on iterative residual norms, and (c) affine conjugate Newton algorithms for convex optimization problems and discrete nonlinear elliptic PDEs. T3 - ZIB-Report - 02-33 KW - Affine invariant Newton methods KW - global Newton methods KW - inexact Newton methods KW - adaptive trust region methods KW - nonlinear partial differential equa Y1 - 2002 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7005 ER - TY - GEN A1 - Weiser, Martin A1 - Deuflhard, Peter T1 - The Central Path towards the Numerical Solution of Optimal Control Problems N2 - A new approach to the numerical solution of optimal control problems including control and state constraints is presented. Like hybrid methods, the approach aims at combining the advantages of direct and indirect methods. Unlike hybrid methods, however, our method is directly based on interior-point concepts in function space --- realized via an adaptive multilevel scheme applied to the complementarity formulation and numerical continuation along the central path. Existence of the central path and its continuation towards the solution point is analyzed in some theoretical detail. An adaptive stepsize control with respect to the duality gap parameter is worked out in the framework of affine invariant inexact Newton methods. Finally, the performance of a first version of our new type of algorithm is documented by the successful treatment of the well-known intricate windshear problem. T3 - ZIB-Report - 01-12 KW - optimal control KW - interior point methods KW - affine invariance Y1 - 2001 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6380 ER - TY - GEN A1 - Schiela, Anton A1 - Weiser, Martin T1 - Superlinear Convergence of the Control Reduced Interior Point Method for PDE Constrained Optimization N2 - A thorough convergence analysis of the Control Reduced Interior Point Method in function space is performed. This recently proposed method is a primal interior point pathfollowing scheme with the special feature, that the control variable is eliminated from the optimality system. Apart from global linear convergence we show, that this method converges locally almost quadratically, if the optimal solution satisfies a function space analogue to a non-degeneracy condition. In numerical experiments we observe, that a prototype implementation of our method behaves in compliance with our theoretical results. T3 - ZIB-Report - 05-15 KW - interior point methods in function space KW - optimal control KW - superlinear convergence Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8490 ER - TY - GEN A1 - Griesse, Roland A1 - Weiser, Martin T1 - On the Interplay Between Interior Point Approximation and Parametric Sensitivities in Optimal Control N2 - This paper is concerned with the sensitivities of function space oriented interior point approximations in parameter dependent problems. For an abstract setting that covers control constrained optimal control problems, the convergence of interior point sensitivities to the sensitivities of the optimal solution is shown. Error bounds for $L_q$ norms are derived and illustrated with numerical examples. T3 - ZIB-Report - 05-44 KW - interior point methods KW - parametric sensitivity KW - optimal control Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8773 ER - TY - GEN A1 - Weiser, Martin A1 - Schiela, Anton T1 - Function space interior point methods for PDE constrained optimization N2 - A primal-dual interior point method for optimal control problems with PDE constraints is considered. The algorithm is directly applied to the infinite dimensional problem. Existence and convergence of the central path are analyzed. Numerical results from an inexact continuation method applied to a model problem are shown. T3 - ZIB-Report - 04-27 KW - interior point methods in function space KW - optimal control KW - complementarity functions Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8027 ER - TY - GEN A1 - Prüfert, Uwe A1 - Tröltzsch, Fredi A1 - Weiser, Martin T1 - The convergence of an interior point method for an elliptic control problem with mixed control-state constraints N2 - The paper addresses primal interior point method for state constrained PDE optimal control problems. By a Lavrentiev regularization, the state constraint is transformed to a mixed control-state constraint with bounded Lagrange multiplier. Existence and convergence of the central path are established, and linear convergence of a short-step pathfollowing method is shown. The behaviour of the regularizations are demonstrated by numerical examples. T3 - ZIB-Report - 04-47 KW - interior point methods in function space KW - optimal control KW - mixed control-state constraints KW - Lavrentiev regularization Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8223 ER - TY - GEN A1 - Weiser, Martin A1 - Gänzler, Tobias A1 - Schiela, Anton T1 - A Control Reduced Primal Interior Point Method for PDE Constrained Optimization N2 - A primal interior point method for control constrained optimal control problems with PDE constraints is considered. Pointwise elimination of the control leads to a homotopy in the remaining state and dual variables, which is addressed by a short step pathfollowing method. The algorithm is applied to the continuous, infinite dimensional problem, where discretization is performed only in the innermost loop when solving linear equations. The a priori elimination of the least regular control permits to obtain the required accuracy with comparable coarse meshes. Convergence of the method and discretization errors are studied, and the method is illustrated at two numerical examples. T3 - ZIB-Report - 04-38 KW - interior point methods in function space KW - optimal control KW - finite elements KW - discretization error Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8138 ER - TY - GEN A1 - Weiser, Martin T1 - Interior Point Methods in Function Space N2 - A primal-dual interior point method for optimal control problems is considered. The algorithm is directly applied to the infinite dimensional problem. Existence and convergence of the central path are analyzed, and linear convergence of a short step pathfollowing method is established. T3 - ZIB-Report - 03-35 KW - interior point methods in function space KW - optimal control KW - complementarity functions Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7578 ER - TY - GEN A1 - Weiser, Martin A1 - Schiela, Anton A1 - Deuflhard, Peter T1 - Asymptotic Mesh Independence of Newton's Method Revisited N2 - The paper presents a new affine invariant theory on asymptotic mesh independence of Newton's method in nonlinear PDEs. Compared to earlier attempts, the new approach is both much simpler and more natural from the algorithmic point of view. The theory is exemplified at collocation methods for ODE boundary value problems and at finite element methods for elliptic PDE problems. T3 - ZIB-Report - 03-13 KW - mesh independence KW - nonlinear partial differential equations KW - Newton method KW - finite element method KW - collocation method Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7352 ER - TY - GEN A1 - Weiser, Martin A1 - Deuflhard, Peter A1 - Erdmann, Bodo T1 - Affine conjugate adaptive Newton methods for nonlinear elastomechanics N2 - The paper extends affine conjugate Newton methods from convex to nonconvex minimization, with particular emphasis on PDE problems originating from compressible hyperelasticity. Based on well-known schemes from finite dimensional nonlinear optimization, three different algorithmic variants are worked out in a function space setting, which permits an adaptive multilevel finite element implementation. These algorithms are tested on two well-known 3D test problems and a real-life example from surgical operation planning. T3 - ZIB-Report - 04-01 KW - affine conjugate Newton methods KW - nonconvex minimization KW - nonlinear elastomechnics KW - cranio-maxillofacial surgery KW - soft tissue simulation KW - multilev Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7768 ER - TY - GEN A1 - Weiser, Martin T1 - On goal-oriented adaptivity for elliptic optimal control problems N2 - The paper proposes goal-oriented error estimation and mesh refinement for optimal control problems with elliptic PDE constraints using the value of the reduced cost functional as quantity of interest. Error representation, hierarchical error estimators, and greedy-style error indicators are derived and compared to their counterparts when using the all-at-once cost functional as quantity of interest. Finally, the efficiency of the error estimator and generated meshes are demonstrated on numerical examples. T3 - ZIB-Report - 09-08 KW - optimal control KW - error estimation KW - adaptive mesh refinement Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11192 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin T1 - Optimization and Identification in Regional Hyperthermia N2 - Regional hyperthermia is a cancer therapy aiming at heating tumors using phased array applicators. This article provides an overview over current mathematical challenges of delivering individually optimal treatments. The focus is on therapy planning and identification of technical as well as physiological quantities from MR thermometry measurements. T3 - ZIB-Report - 08-40 KW - Hyperthermie-Therapieplanung KW - Identifizierung KW - MR-Thermometrie KW - Innere-Punkte-Methoden KW - hyperthermia treatment planning KW - identification KW - MR thermometry KW - interior point methods Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10916 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Erdmann, Bodo A1 - Deuflhard, Peter T1 - On Efficiency and Accuracy in Cardioelectric Simulation N2 - Reasons for the failure of adaptive methods to deliver improved efficiency when integrating monodomain models for myocardiac excitation are discussed. Two closely related techniques for reducing the computational complexity of linearly implicit integrators, deliberate sparsing and splitting, are investigated with respect to their impact on computing time and accuracy. T3 - ZIB-Report - 08-41 KW - elektrische Herzanregung KW - Diskretisierungsfehler KW - splitting KW - mass lumping KW - cardioelectric excitation KW - discretization error KW - splitting KW - mass lumping Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10934 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Röllig, Mathias A1 - Arndt, Ralf A1 - Erdmann, Bodo T1 - Development and test of a numerical model for pulse thermography in civil engineering N2 - Pulse thermography of concrete structures is used in civil engineering for detecting voids, honeycombing and delamination. The physical situation is readily modeled by Fourier's law. Despite the simplicity of the PDE structure, quantitatively realistic numerical 3D simulation faces two major obstacles. First, the short heating pulse induces a thin boundary layer at the heated surface which encapsulates all information and therefore has to be resolved faithfully. Even with adaptive mesh refinement techniques, obtaining useful accuracies requires an unsatisfactorily fine discretization. Second, bulk material parameters and boundary conditions are barely known exactly. We address both issues by a semi-analytic reformulation of the heat transport problem and by parameter identification. Numerical results are compared with measurements of test specimens. T3 - ZIB-Report - 08-45 KW - finite element model KW - KARDOS KW - pulse thermography KW - civil engineering KW - inverse solution Y1 - 2008 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10980 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Local Inexact Newton Multilevel FEM for Nonlinear Elliptic Problems N2 - The finite element setting for nonlinear elliptic PDEs directly leads to the minimization of convex functionals. Uniform ellipticity of the underlying PDE shows up as strict convexity of the arising nonlinear functional. The paper analyzes computational variants of Newton's method for convex optimization in an affine conjugate setting, which reflects the appropriate affine transformation behavior for this class of problems. First, an affine conjugate Newton--Mysovskikh type theorem on the local quadratic convergence of the exact Newton method in Hilbert spaces is given. It can be easily extended to inexact Newton methods, where the inner iteration is only approximately solved. For fixed finite dimension, a special implementation of a Newton--PCG algorithm is worked out. In this case, the suggested monitor for the inner iteration guarantees quadratic convergence of the outer iteration. In infinite dimensional problems, the PCG method may be just formally replaced by any Galerkin method such as FEM for linear elliptic problems. Instead of the algebraic inner iteration errors we now have to control the FE discretization errors, which is a standard task performed within any adaptive multilevel method. A careful study of the information gain per computational effort leads to the result that the quadratic convergence mode of the Newton--Galerkin algorithm is the best mode for the fixed dimensional case, whereas for an adaptive variable dimensional code a special linear convergence mode of the algorithm is definitely preferable. The theoretical results are then illustrated by numerical experiments with a {\sf NEWTON--KASKADE} algorithm. T3 - ZIB-Report - SC-96-29 Y1 - 1996 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2401 ER - TY - GEN A1 - Deuflhard, Peter A1 - Weiser, Martin A1 - Seebass, Martin T1 - A New Nonlinear Elliptic Multilevel FEM Applied to Regional Hyperthermia N2 - In the clinical cancer therapy of regional hyperthermia nonlinear perfusion effects inside and outside the tumor seem to play a not negligible role. A stationary model of such effects leads to a nonlinear Helmholtz term within an elliptic boundary value problem. The present paper reports about the application of a recently designed adaptive multilevel FEM to this problem. For several 3D virtual patients, nonlinear versus linear model is studied. Moreover, the numerical efficiency of the new algorithm is compared with a former application of an adaptive FEM to the corresponding instationary model PDE. T3 - ZIB-Report - SC-98-35 KW - hyperthermia KW - nonlinear elliptic KW - multilevel FEM Y1 - 1998 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-3785 ER - TY - GEN A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Global Inexact Multilevel FEM for Nonlinear Elliptic Problems N2 - The paper deals with the multilevel solution of {\em elliptic} partial differential equations (PDEs) in a {\em finite element} setting: {\em uniform ellipticity} of the PDE then goes with {\em strict monotonicity} of the derivative of a nonlinear convex functional. A {\em Newton multigrid method} is advocated, wherein {\em linear residuals} are evaluated within the multigrid method for the computation of the Newton corrections. The globalization is performed by some {\em damping} of the ordinary Newton corrections. The convergence results and the algorithm may be regarded as an extension of those for local Newton methods presented recently by the authors. An {\em affine conjugate} global convergence theory is given, which covers both the {\em exact} Newton method (neglecting the occurrence of approximation errors) and {\em inexact} Newton--Galerkin methods addressing the crucial issue of accuracy matching between discretization and iteration errors. The obtained theoretical results are directly applied for the construction of adaptive algorithms. Finally, illustrative numerical experiments with a~{\sf NEWTON--KASKADE} code are documented. T3 - ZIB-Report - SC-96-33 Y1 - 1996 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-2430 ER - TY - GEN A1 - Volkwein, Stefan A1 - Weiser, Martin T1 - Affine Invariant Convergence Analysis for Inexact Augmented Lagrangian-SQP Methods N2 - An affine invariant convergence analysis for inexact augmented Lagrangian-SQP methods is presented. The theory is used for the construction of an accuracy matching between iteration errors and truncation errors, which arise from the inexact linear system solves. The theoretical investigations are illustrated numerically by an optimal control problem for the Burgers equation. T3 - ZIB-Report - 00-56 KW - nonlinear programming KW - multiplier methods KW - affine invariant norms KW - Burgers' equation Y1 - 2000 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-6243 ER - TY - GEN A1 - Weiser, Martin T1 - Pointwise Nonlinear Scaling for Reaction-Diffusion-Equations N2 - Parabolic reaction-diffusion systems may develop sharp moving reaction fronts which pose a challenge even for adaptive finite element methods. We propose a method to transform the equation into an equivalent form that usually exhibits solutions which are easier to discretize, giving higher accuracy for a given number of degrees of freedom. The transformation is realized as an efficiently computable pointwise nonlinear scaling that is optimized for prototypical planar travelling wave solutions of the underlying reaction-diffusion equation. The gain in either performance or accuracy is demonstrated on different numerical examples. T3 - ZIB-Report - 07-45 KW - reaction-diffusion equations KW - travelling waves KW - nonlinear scaling KW - discretization error Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10493 SN - 1438-0064 ER - TY - GEN A1 - Schenk, Olaf A1 - Wächter, Andreas A1 - Weiser, Martin T1 - Inertia Revealing Preconditioning For Large-Scale Nonconvex Constrained Optimization N2 - Fast nonlinear programming methods following the all-at-once approach usually employ Newton's method for solving linearized Karush-Kuhn-Tucker (KKT) systems. In nonconvex problems, the Newton direction is only guaranteed to be a descent direction if the Hessian of the Lagrange function is positive definite on the nullspace of the active constraints, otherwise some modifications to Newton's method are necessary. This condition can be verified using the signs of the KKT's eigenvalues (inertia), which are usually available from direct solvers for the arising linear saddle point problems. Iterative solvers are mandatory for very large-scale problems, but in general do not provide the inertia. Here we present a preconditioner based on a multilevel incomplete $LBL^T$ factorization, from which an approximation of the inertia can be obtained. The suitability of the heuristics for application in optimization methods is verified on an interior point method applied to the CUTE and COPS test problems, on large-scale 3D PDE-constrained optimal control problems, as well as 3D PDE-constrained optimization in biomedical cancer hyperthermia treatment planning. The efficiency of the preconditioner is demonstrated on convex and nonconvex problems with $150^3$ state variables and $150^2$ control variables, both subject to bound constraints. T3 - ZIB-Report - 07-32 KW - nonconvex constrained optimization KW - interior-point method KW - inertia KW - multilevel incomplete factorization Y1 - 2007 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-10314 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Götschel, Sebastian T1 - State Trajectory Compression for Optimal Control with Parabolic PDEs N2 - In optimal control problems with nonlinear time-dependent 3D PDEs, full 4D discretizations are usually prohibitive due to the storage requirement. For this reason gradient and quasi-Newton methods working on the reduced functional are often employed. The computation of the reduced gradient requires one solve of the state equation forward in time, and one backward solve of the adjoint equation. The state enters into the adjoint equation, again requiring the storage of a full 4D data set. We propose a lossy compression algorithm using an inexact but cheap predictor for the state data, with additional entropy coding of prediction errors. As the data is used inside a discretized, iterative algorithm, lossy coding maintaining an error bound is sufficient. T3 - ZIB-Report - 10-05 KW - optimal control KW - adjoint gradient computation KW - trajectory storage Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11676 SN - 1438-0064 ER - TY - GEN A1 - Günther, Andreas A1 - Lamecker, Hans A1 - Weiser, Martin T1 - Direct LDDMM of Discrete Currents with Adaptive Finite Elements N2 - We consider Large Deformation Diffeomorphic Metric Mapping of general $m$-currents. After stating an optimization algorithm in the function space of admissable morph generating velocity fields, two innovative aspects in this framework are presented and numerically investigated: First, we spatially discretize the velocity field with conforming adaptive finite elements and discuss advantages of this new approach. Second, we directly compute the temporal evolution of discrete $m$-current attributes. T3 - ZIB-Report - 11-22 KW - Large Deformation KW - Diffeomorphic Registration KW - Matching KW - Currents KW - Adaptive Finite Elements Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-13090 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Maierhofer, Christiane A1 - Richter, Regina T1 - Data Enhancement for Active Thermography N2 - Pulse thermography is a non-destructive testing method based on infrared imaging of transient thermal patterns. Heating the surface of the structure under test for a short period of time generates a non-stationary temperature distribution and thus a thermal contrast between the defect and the sound material. Due to measurement noise, preprocessing of the experimental data is necessary, before reconstruction algorithms can be applied. We propose a decomposition of the measured temperature into Green's function solutions to eliminate noise. T3 - ZIB-Report - 12-20 KW - data enhancement KW - active thermography KW - quantitative reconstruction KW - Green's functions Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-15243 UR - http://qirt.gel.ulaval.ca/archives/qirt2012/papers/QIRT-2012-167.pdf SN - 1438-0064 ER - TY - GEN A1 - Lubkoll, Lars A1 - Schiela, Anton A1 - Weiser, Martin T1 - An optimal control problem in polyconvex hyperelasticity N2 - We consider a shape implant design problem that arises in the context of facial surgery. We introduce a reformulation as an optimal control problem, where the control acts as a boundary force. The state is modelled as a minimizer of a polyconvex hyperelastic energy functional. We show existence of optimal solutions and derive - on a formal level - first order optimality conditions. Finally, preliminary numerical results are presented. T3 - ZIB-Report - 12-08 KW - polyconvex elasticity KW - implant design KW - optimal control Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-14745 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Schiela, Anton A1 - Weiser, Martin T1 - Mathematical Cancer Therapy Planning in Deep Regional Hyperthermia N2 - This paper surveys the required mathematics for a typical challenging problem from computational medicine, the cancer therapy planning in deep regional hyperthermia. In the course of many years of close cooperation with clinics, the medical problem gave rise to quite a number of subtle mathematical problems, part of which had been unsolved when the common project started. Efficiency of numerical algorithms, i.e. computational speed and monitored reliability, play a decisive role for the medical treatment. Off-the-shelf software had turned out to be not sufficient to meet the requirements of medicine. Rather, new mathematical theory as well as new numerical algorithms had to be developed. In order to make our algorithms useful in the clinical environment, new visualization software, a virtual lab, including 3D geometry processing of individual virtual patients had to be designed and implemented. Moreover, before the problems could be attacked by numerical algorithms, careful mathematical modelling had to be done. Finally, parameter identification and constrained optimization for the PDEs had to be newly analyzed and realized over the individual patient's geometry. Our new techniques had an impact on the specificity of the individual patients' treatment and on the construction of an improved hyperthermia applicator. T3 - ZIB-Report - 11-39 KW - hyperthermia therapy planning KW - mathematical modelling KW - Maxwell equations KW - state constraints KW - parameter identification Y1 - 2011 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-14204 SN - 1438-0064 ER - TY - JOUR A1 - Schenk, O. A1 - Wächter, Andreas A1 - Weiser, Martin T1 - Inertia Revealing Preconditioning For Large-Scale Nonconvex Constrained Optimization JF - SIAM J. Sci. Comp. Y1 - 2008 VL - 31 IS - 2 SP - 939 EP - 960 ER - TY - JOUR A1 - Weiser, Martin A1 - Deuflhard, Peter T1 - Inexact central path following algorithms for optimal control problems JF - SIAM J. Control Opt. Y1 - 2007 VL - 46 IS - 3 SP - 792 EP - 815 ER - TY - GEN A1 - Götschel, Sebastian A1 - Weiser, Martin A1 - Schiela, Anton T1 - Solving Optimal Control Problems with the Kaskade 7 Finite Element Toolbox N2 - This paper presents concepts and implementation of the finite element toolbox Kaskade 7, a flexible C++ code for solving elliptic and parabolic PDE systems. Issues such as problem formulation, assembly and adaptivity are discussed at the example of optimal control problems. Trajectory compression for parabolic optimization problems is considered as a case study. T3 - ZIB-Report - 10-25 KW - partial differential equations KW - optimal control KW - finite elements KW - generic programming KW - adaptive methods Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11909 SN - 1438-0064 ER - TY - GEN A1 - Schiela, Anton A1 - Weiser, Martin T1 - Barrier methods for a control problem from hyperthermia treatment planning N2 - We consider an optimal control problem from hyperthermia treatment planning and its barrier regularization. We derive basic results, which lay the groundwork for the computation of optimal solutions via an interior point path-following method. Further, we report on a numerical implementation of such a method and its performance at an example problem. T3 - ZIB-Report - 09-36 KW - hyperthermia treatment planning KW - optimal control KW - barrier methods Y1 - 2009 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-11567 SN - 1438-0064 ER - TY - JOUR A1 - Schiela, Anton A1 - Weiser, Martin T1 - Superlinear convergence of the Control Reduced Interior Point Method for PDE Constrained Optimization JF - Computational Optimization and Applications Y1 - 2008 VL - 39 IS - 3 SP - 369 EP - 393 ER - TY - JOUR A1 - Gänzler, Tobias A1 - Volkwein, S. A1 - Weiser, Martin T1 - SQP methods for parameter identification problems arising in hyperthermia JF - Optim. Methods Softw. Y1 - 2006 VL - 21 IS - 6 SP - 869 EP - 887 ER - TY - JOUR A1 - Griesse, Roland A1 - Weiser, Martin T1 - On the Interplay Between Interior Point Approximation and Parametric Sensitivities in Optimal Control JF - Journal of Mathematical Analysis and Applications Y1 - 2008 SP - 771 EP - 793 ER - TY - JOUR A1 - Gellermann, Johanna A1 - Weihrauch, Mirko A1 - Cho, C. A1 - Wlodarczyk, Waldemar A1 - Fähling, Horst A1 - Felix, Roland A1 - Budach, Volker A1 - Weiser, Martin A1 - Nadobny, Johanna A1 - Wust, Peter T1 - Comparison of MR-thermography and planning calculations in phantoms JF - Medical Physics Y1 - 2006 VL - 33 SP - 3912 EP - 3920 ER - TY - CHAP A1 - Deuflhard, Peter A1 - Weiser, Martin ED - et al. Hackbusch, Wolfgang T1 - Global inexact Newton multilevel FEM for nonlinear elliptic problems T2 - Multigrid methods V. proceedings of the 5th European multigrid conference, held in Stuttgart, Germany, October 1–4, 1996. Y1 - 1998 VL - 3 SP - 71 EP - 89 PB - Berlin: Springer ER - TY - JOUR A1 - Deuflhard, Peter A1 - Weiser, Martin A1 - Seebass, Martin T1 - A new nonlinear elliptic multilevel FEM in clinical cancer therapy planning JF - Comput. Vis. Sci. Y1 - 2000 VL - 3 SP - 115 EP - 120 ER - TY - BOOK A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Numerische Mathematik 3 Y1 - 2011 PB - de Gruyter, Berlin ER - TY - BOOK A1 - Deuflhard, Peter A1 - Weiser, Martin T1 - Adaptive numerical solution of PDEs Y1 - 2012 PB - de Gruyter CY - Berlin ER - TY - JOUR A1 - Deuflhard, Peter A1 - Weiser, Martin A1 - Zachow, Stefan T1 - Mathematics in Facial Surgery JF - AMS Notices Y1 - 2006 VL - 53 IS - 9 SP - 1012 EP - 1016 ER - TY - CHAP A1 - Zachow, Stefan A1 - Weiser, Martin A1 - Hege, Hans-Christian A1 - Deuflhard, Peter ED - Payan, Y. T1 - Soft Tissue Prediction in Computer Assisted Maxillofacial Surgery Planning T2 - Biomechanics Applied to Computer Assisted Surgery Y1 - 2005 SP - 277 EP - 298 PB - Research Signpost ER - TY - CHAP A1 - Zachow, Stefan A1 - Weiser, Martin A1 - Deuflhard, Peter ED - Niederlag, Wolfgang ED - Lemke, Heinz ED - Meixensberger, Jürgen ED - Baumann, Michael T1 - Modellgestützte Operationsplanung in der Kopfchirurgie T2 - Modellgestützte Therapie Y1 - 2008 SP - 140 EP - 156 PB - Health Academy ER - TY - JOUR A1 - Prüfert, Uwe A1 - Tröltzsch, Fredi A1 - Weiser, Martin T1 - The convergence of an interior point method for an elliptic control problem with mixed control-state constraints JF - Comput. Optim. Appl. Y1 - 2008 VL - 39 IS - 2 SP - 183 EP - 218 ER - TY - GEN A1 - Götschel, Sebastian A1 - von Tycowicz, Christoph A1 - Polthier, Konrad A1 - Weiser, Martin T1 - Reducing Memory Requirements in Scientific Computing and Optimal Control N2 - In high accuracy numerical simulations and optimal control of time-dependent processes, often both many time steps and fine spatial discretizations are needed. Adjoint gradient computation, or post-processing of simulation results, requires the storage of the solution trajectories over the whole time, if necessary together with the adaptively refined spatial grids. In this paper we discuss various techniques to reduce the memory requirements, focusing first on the storage of the solution data, which typically are double precision floating point values. We highlight advantages and disadvantages of the different approaches. Moreover, we present an algorithm for the efficient storage of adaptively refined, hierarchic grids, and the integration with the compressed storage of solution data. T3 - ZIB-Report - 13-64 KW - optimal control KW - trajectory storage KW - mesh compression KW - compression Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-42695 SN - 1438-0064 ER - TY - GEN A1 - Weiser, Martin A1 - Scacchi, Simone T1 - Spectral Deferred Correction methods for adaptive electro-mechanical coupling in cardiac simulation N2 - We investigate spectral deferred correction (SDC) methods for time stepping and their interplay with spatio-temporal adaptivity, applied to the solution of the cardiac electro-mechanical coupling model. This model consists of the Monodomain equations, a reaction-diffusion system modeling the cardiac bioelectrical activity, coupled with a quasi-static mechanical model describing the contraction and relaxation of the cardiac muscle. The numerical approximation of the cardiac electro-mechanical coupling is a challenging multiphysics problem, because it exhibits very different spatial and temporal scales. Therefore, spatio-temporal adaptivity is a promising approach to reduce the computational complexity. SDC methods are simple iterative methods for solving collocation systems. We exploit their flexibility for combining them in various ways with spatio-temporal adaptivity. The accuracy and computational complexity of the resulting methods are studied on some numerical examples. T3 - ZIB-Report - 14-22 Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-50695 SN - 1438-0064 ER - TY - GEN A1 - Deuflhard, Peter A1 - Kornhuber, Ralf A1 - Sander, Oliver A1 - Schiela, Anton A1 - Weiser, Martin ED - Deuflhard, Peter ED - Grötschel, Martin ED - Hömberg, Dietmar ED - Horst, Ulrich ED - Kramer, Jürg ED - Mehrmann, Volker ED - Polthier, Konrad ED - Schmidt, Frank ED - Schütte, Christof ED - Skutella, Martin ED - Sprekels, Jürgen T1 - Mathematics cures virtual patients T2 - MATHEON-Mathematics for Key Technologies Y1 - 2014 VL - 1 SP - 7 EP - 25 PB - European Mathematical Society ER - TY - JOUR A1 - Moualeu-Ngangue, Dany Pascal A1 - Weiser, Martin A1 - Ehrig, Rainald A1 - Deuflhard, Peter T1 - Optimal control for a tuberculosis model with undetected cases in Cameroon JF - Communications in Nonlinear Science and Numerical Simulation N2 - This paper considers the optimal control of tuberculosis through education, diagnosis campaign and chemoprophylaxis of latently infected. A mathematical model which includes important components such as undiagnosed infectious, diagnosed infectious, latently infected and lost-sight infectious is formulated. The model combines a frequency dependent and a density dependent force of infection for TB transmission. Through optimal control theory and numerical simulations, a cost-effective balance of two different intervention methods is obtained. Seeking to minimize the amount of money the government spends when tuberculosis remain endemic in the Cameroonian population, Pontryagin's maximum principle is used to characterize the optimal control. The optimality system is derived and solved numerically using the forward-backward sweep method (FBSM). Results provide a framework for designing cost-effective strategies for diseases with multiple intervention methods. It comes out that combining chemoprophylaxis and education, the burden of TB can be reduced by 80 % in 10 years. Y1 - 2015 U6 - https://doi.org/10.1016/j.cnsns.2014.06.037 VL - 20 IS - 3 SP - 986 EP - 1003 ER - TY - JOUR A1 - Moldenhauer, Marian A1 - Weiser, Martin A1 - Zachow, Stefan T1 - Adaptive Algorithms for Optimal Hip Implant Positioning JF - PAMM N2 - In an aging society where the number of joint replacements rises, it is important to also increase the longevity of implants. In particular hip implants have a lifetime of at most 15 years. This derives primarily from pain due to implant migration, wear, inflammation, and dislocation, which is affected by the positioning of the implant during the surgery. Current joint replacement practice uses 2D software tools and relies on the experience of surgeons. Especially the 2D tools fail to take the patients’ natural range of motion as well as stress distribution in the 3D joint induced by different daily motions into account. Optimizing the hip joint implant position for all possible parametrized motions under the constraint of a contact problem is prohibitively expensive as there are too many motions and every position change demands a recalculation of the contact problem. For the reduction of the computational effort, we use adaptive refinement on the parameter domain coupled with the interpolation method of Kriging. A coarse initial grid is to be locally refined using goal-oriented error estimation, reducing locally high variances. This approach will be combined with multi-grid optimization such that numerical errors are reduced. Y1 - 2017 U6 - https://doi.org/10.1002/pamm.201710071 VL - 17 IS - 1 SP - 203 EP - 204 ER - TY - JOUR A1 - Fischer, Lisa A1 - Götschel, Sebastian A1 - Weiser, Martin T1 - Lossy data compression reduces communication time in hybrid time-parallel integrators JF - Comput. Vis. Sci. N2 - Parallel in time methods for solving initial value problems are a means to increase the parallelism of numerical simulations. Hybrid parareal schemes interleaving the parallel in time iteration with an iterative solution of the individual time steps are among the most efficient methods for general nonlinear problems. Despite the hiding of communication time behind computation, communication has in certain situations a significant impact on the total runtime. Here we present strict, yet no sharp, error bounds for hybrid parareal methods with inexact communication due to lossy data compression, and derive theoretical estimates of the impact of compression on parallel efficiency of the algorithms. These and some computational experiments suggest that compression is a viable method to make hybrid parareal schemes robust with respect to low bandwidth setups. Y1 - 2018 U6 - https://doi.org/10.1007/s00791-018-0293-2 VL - 19 IS - 1 SP - 19 EP - 30 ER - TY - JOUR A1 - Hammerschmidt, Martin A1 - Weiser, Martin A1 - Santiago, Xavier Garcia A1 - Zschiedrich, Lin A1 - Bodermann, Bernd A1 - Burger, Sven T1 - Quantifying parameter uncertainties in optical scatterometry using Bayesian inversion JF - Proc. SPIE Y1 - 2017 U6 - https://doi.org/10.1117/12.2270596 VL - 10330 SP - 1033004 ER -