On exact and approximate boundary controllabilities for the heat equation: A numerical approach

The present article is concerned with the numerical implementation of the Hilbert uniqueness method for solving exact and approximate boundary controllability problems for the heat equation. Using convex duality, we reduce the solution of the boundary control problems to the solution of identification problems for the initial data of an adjoint heat equation. To solve these identification problems, we use a combination of finite difference methods for the time discretization, finite element methods for the space discretization, and of conjugate gradient and operator splitting methods for the iterative solution of the discrete control problems. We apply then the above methodology to the solution of exact and approximate boundary controllability test problems in two space dimensions. The numerical results validate the methods discussed in this article and clearly show the computational advantage of using second-order accurate time discretization methods to approximate the control problems.     

Pointwise Control of the Burgers Equation and Related Nash Equilibrium Problems: Computational Approach

This article is concerned with the numerical solution of multiobjective control problems associated with nonlinear partial differential equations and more precisely the Burgers equation. For this kind of problems, we look for the Nash equilibrium, which is the solution to a noncooperative game. To compute the solution of the problem, we use a combination of finite-difference methods for the time discretization, finite-element methods for the space discretization, and a quasi-Newton BFGS algorithm for the iterative solution of the discrete control problem. Finally, we apply the above methodology to the solution of several tests problems. To be able to compare our results with existing results in the literature, we discuss first a single-objective control problem, already investigated by other authors. Finally, we discuss the multiobjective case.     

Neumann Control of Unstable Parabolic Systems: Numerical Approach

The present article is concerned with the Neumann control of systems modeled by scalar or vector parabolic equations of reaction-advection-diffusion type with a particular emphasis on systems which are unstable if uncontrolled. To solve these problems, we use a combination of finite-difference methods for the time discretization, finite-element methods for the space discretization, and conjugate gradient algorithms for the iterative solution of the discrete control problems. We apply then the above methodology to the solution of test problems in two dimensions, including problems related to nonlinear models.     

Decoupled Mixed Element Methods for Fourth Order Elliptic Optimal Control Problems with Control Constraints

In this paper, we study the finite element methods for distributed optimal control problems governed by the biharmonic operator. Motivated from reducing the regularity of solution space, we use the decoupled mixed element method which was used to approximate the solution of biharmonic equation to solve the fourth order optimal control problems. Two finite element schemes, i.e., Lagrange conforming element combined with full control discretization and the nonconforming Crouzeix-Raviart element combined with variational control discretization, are used to discretize the decoupled optimal control system. The corresponding a priori error estimates are derived under appropriate norms which are then verified by extensive numerical experiments.     

Automatic differentiation of explicit Runge-Kutta methods for optimal control

This paper considers the numerical solution of optimal control problems based on ODEs. We assume that an explicit Runge-Kutta method is applied to integrate the state equation in the context of a recursive discretization approach. To compute the gradient of the cost function, one may employ Automatic Differentiation (AD). This paper presents the integration schemes that are automatically generated when differentiating the discretization of the state equation using AD. We show that they can be seen as discretization methods for the sensitivity and adjoint differential equation of the underlying control problem. Furthermore, we prove that the convergence rate of the scheme automatically derived for the sensitivity equation coincides with the convergence rate of the integration scheme for the state equation. Under mild additional assumptions on the coefficients of the integration scheme for the state equation, we show a similar result for the scheme automatically derived for the adjoint equation. Numerical results illustrate the presented theoretical results.     

Third order convergent time discretization for parabolic optimal control problems with control constraints

We consider a priori error analysis for a discretization of a linear quadratic parabolic optimal control problem with box constraints on the time-dependent control variable. For such problems one can show that a time-discrete solution with second order convergence can be obtained by a first order discontinuous Galerkin time discretization for the state variable and either the variational discretization approach or a post-processing strategy for the control variable. Here, by combining the two approaches for the control variable, we demonstrate that almost third order convergence with respect to the size of the time steps can be achieved.     

Semidiscrete Ritz-Galerkin approximation of nonlinear parabolic boundary control problems—Strong convergence of optimal controls

A class of optimal control problems for a parabolic equation with nonlinear boundary condition and constraints on the control and the state is considered. Associated approximate problems are established, where the equation of state is defined by a semidiscrete Ritz-Galerkin method. Moreover, we are able to allow for the discretization of admissible controls. We show the convergence of the approximate controls to the solution of the exact control problem, as the discretization parameter tends toward zero. This result holds true under the assumption of a certain sufficient second-order optimality condition.Dedicated to the 60th birthday of Lothar von Wolfersdorf     

On Applied Nonlinear and Bilevel Programming or Pursuit-Evasion Games

Motivated by the benefits of discretization in optimal control problems, we consider the possibility of discretizing pursuit-evasion games. Two approaches are introduced. In the first approach, the solution of the necessary conditions of the continuous-time game is decomposed into ordinary optimal control problems that can be solved using discretization and nonlinear programming techniques. In the second approach, the game is discretized and transformed into a bilevel programming problem, which is solved using a first-order feasible direction method. Although the starting points of the approaches are different, they lead in practice to the same solution algorithm. We demonstrate the usability of the discretization by solving some open-loop representations of feedback solutions for a complex pursuit-evasion game between a realistically modeled aircraft and a missile, with terminal time as the payoff. The solutions are compared with those obtained via an indirect method.     

Superconvergence analysis of fully discrete finite element methods for semilinear parabolic optimal control problems

We study the superconvergence property of fully discrete finite element approximation for quadratic optimal control problems governed by semilinear parabolic equations with control constraints. The time discretization is based on difference methods, whereas the space discretization is done using finite element methods. The state and the adjoint state are approximated by piecewise linear functions and the control is approximated by piecewise constant functions. First, we define a fully discrete finite element approximation scheme for the semilinear parabolic control problem. Second, we derive the superconvergence properties for the control, the state and the adjoint state. Finally, we do some numerical experiments for illustrating our theoretical results.     

On regularization and discretization control for the numerical solution of inverse problems in parabolic equations

In this paper, the influence of modelling, a priori information, discretization and measurement error to the numerical solution of inverse problems is investigated. Given an a priori approximation of the unknown parameter function in a parabolic problem, we propose a strategy for the regularized determination of a skeleton solution to the inverse problem. This strategy is based on a discretization control of the forward problem in order to find a trade-off between accuracy and computational efficiency. Numerical results with regard to a nonlinear inverse heat conduction problem illustrate the study.     

Automatic Control and Adaptive Time-Stepping

Adaptive time-stepping is central to the efficient solution of initial value problems in ODEs and DAEs. The error committed in the discretization method primarily depends on the time-step size h, which is varied along the solution in order to minimize the computational effort subject to a prescribed accuracy requirement. This paper reviews the recent advances in developing local adaptivity algorithms based on well established techniques from linear feedback control theory, which is introduced in a numerical context. Replacing earlier heuristics, this systematic approach results in a more consistent and robust performance. The dynamic behaviour of the discretization method together with the controller is analyzed. We also review some basic techniques for the coordination of nonlinear equation solvers with the primary stepsize controller in implicit time-stepping methods.     

Discretization methods for the solution of semi-infinite programming problems

In the first part of this paper, we prove the convergence of a class of discretization methods for the solution of nonlinear semi-infinite programming problems, which includes known methods for linear problems as special cases. In the second part, we modify and study this type of algorithms for linear problems and suggest a specific method which requires the solution of a quadratic programming problem at each iteration. With this algorithm, satisfactory results can also be obtained for a number of singular problems. We demonstrate the performance of the algorithm by several numerical examples of multivariate Chebyshev approximation problems.     

SQP-methods for solving optimal control problems with control and state constraints: adjoint variables, sensitivity analysis and real-time control

Parametric nonlinear optimal control problems subject to control and state constraints are studied. Two discretization methods are discussed that transcribe optimal control problems into nonlinear programming problems for which SQP-methods provide efficient solution methods. It is shown that SQP-methods can be used also for a check of second-order sufficient conditions and for a postoptimal calculation of adjoint variables. In addition, SQP-methods lead to a robust computation of sensitivity differentials of optimal solutions with respect to perturbation parameters. Numerical sensitivity analysis is the basis for real-time control approximations of perturbed solutions which are obtained by evaluating a first-order Taylor expansion with respect to the parameter. The proposed numerical methods are illustrated by the optimal control of a low-thrust satellite transfer to geosynchronous orbit and a complex control problem from aquanautics. The examples illustrate the robustness, accuracy and efficiency of the proposed numerical algorithms.     

奇异摄动问题的一致收敛离散方法解的一致高阶精度外推

本文讨论基于整体误差一致展开式的一致收敛离散方法解的一致高阶精度外推.将该方法应用于非自共轭问题的Il'in-Allen-Southwell格式,我们得到了二阶一致收敛的外推解,并用数值计算说明该结论.     

Discretization of elliptic control problems with time dependent parameters

We consider linear-quadratic problems of optimal control with an elliptic state equation and control constraints. For a discretization of the state equation by the method of Finite Differences and a piecewise approximation of the control we develop error estimates for the solution of the discrete problem and, based on the optimality conditions, we construct a new feasible control for which we derive error estimates of quadratic order.     

Numerical solution of Hopf bifurcation problems

We present two numerical methods for the solution of Hopf bifurcation problems involving ordinary differential equations. The first one consists in a discretization of the continuous problem by means of shooting or multiple shooting methods. Thus a finite-dimensional bifurcation problem of special structure is obtained. It may be treated by appropriate iterative algorithms. The second approach transforms the Hopf bifurcation problem into a regular nonlinear boundary value problem of higher dimension which depends on a perturbation parameter ?. It has isolated solutions in the ?-domain of interest, so that conventional discretization methods can be applied. We also consider a concrete Hopf bifurcation problem, a biological feedback inhibition control system. Both methods are applied to it successfully.     

Adaptive multilevel methods in space and time for parabolic problems-the periodic case

The aim of this paper is to display numerical results that show the interest of some multilevel methods for problems of parabolic type. These schemes are based on multilevel spatial splittings and the use of different time steps for the various spatial components. The spatial discretization we investigate is of spectral Fourier type, so the approximate solution naturally splits into the sum of a low frequency component and a high frequency one. The time discretization is of implicit/explicit Euler type for each spatial component. Based on a posteriori estimates, we introduce adaptive one-level and multilevel algorithms. Two problems are considered: the heat equation and a nonlinear problem. Numerical experiments are conducted for both problems using the one-level and the multilevel algorithms. The multilevel method is up to 70% faster than the one-level method.

     

Parametric Sensitivity Analysis of Perturbed PDE Optimal Control Problems with State and Control Constraints

We study parametric optimal control problems governed by a system of time-dependent partial differential equations (PDE) and subject to additional control and state constraints. An approach is presented to compute the optimal control functions and the so-called sensitivity differentials of the optimal solution with respect to perturbations. This information plays an important role in the analysis of optimal solutions as well as in real-time optimal control.The method of lines is used to transform the perturbed PDE system into a large system of ordinary differential equations. A subsequent discretization then transcribes parametric ODE optimal control problems into perturbed nonlinear programming problems (NLP), which can be solved efficiently by SQP methods.Second-order sufficient conditions can be checked numerically and we propose to apply an NLP-based approach for the robust computation of the sensitivity differentials of the optimal solutions with respect to the perturbation parameters. The numerical method is illustrated by the optimal control and sensitivity analysis of the Burgers equation.Communicated by H. J. Pesch     

Direct methods with maximal lower bound for mixed-integer optimal control problems

Many practical optimal control problems include discrete decisions. These may be either time-independent parameters or time-dependent control functions as gears or valves that can only take discrete values at any given time. While great progress has been achieved in the solution of optimization problems involving integer variables, in particular mixed-integer linear programs, as well as in continuous optimal control problems, the combination of the two is yet an open field of research. We consider the question of lower bounds that can be obtained by a relaxation of the integer requirements. For general nonlinear mixed-integer programs such lower bounds typically suffer from a huge integer gap. We convexify (with respect to binary controls) and relax the original problem and prove that the optimal solution of this continuous control problem yields the best lower bound for the nonlinear integer problem. Building on this theoretical result we present a novel algorithm to solve mixed-integer optimal control problems, with a focus on discrete-valued control functions. Our algorithm is based on the direct multiple shooting method, an adaptive refinement of the underlying control discretization grid and tailored heuristic integer methods. Its applicability is shown by a challenging application, the energy optimal control of a subway train with discrete gears and velocity limits.      

Deconvolution and Regularization with Toeplitz Matrices

By deconvolution we mean the solution of a linear first-kind integral equation with a convolution-type kernel, i.e., a kernel that depends only on the difference between the two independent variables. Deconvolution problems are special cases of linear first-kind Fredholm integral equations, whose treatment requires the use of regularization methods. The corresponding computational problem takes the form of structured matrix problem with a Toeplitz or block Toeplitz coefficient matrix. The aim of this paper is to present a tutorial survey of numerical algorithms for the practical treatment of these discretized deconvolution problems, with emphasis on methods that take the special structure of the matrix into account. Wherever possible, analogies to classical DFT-based deconvolution problems are drawn. Among other things, we present direct methods for regularization with Toeplitz matrices, and we show how Toeplitz matrix–vector products are computed by means of FFT, being useful in iterative methods. We also introduce the Kronecker product and show how it is used in the discretization and solution of 2-D deconvolution problems whose variables separate.