Publications at the Institute of Mathematics

Results: 2080
Created on: Fri, 26 Apr 2024 23:12:48 +0200 in 0.0554 sec


Ilchmann, Achim; Kirchhoff, Jonas
Differential-algebraic systems are generically controllable and stabilizable. - In: Mathematics of control, signals, and systems, ISSN 1435-568X, Bd. 33 (2021), 3, S. 359-377

We investigate genericity of various controllability and stabilizability concepts of linear, time-invariant differential-algebraic systems. Based on well-known algebraic characterizations of these concepts (see the survey article by Berger and Reis (in: Ilchmann A, Reis T (eds) Surveys in differential-algebraic equations I, Differential-Algebraic Equations Forum, Springer, Berlin, pp 1-61. https://doi.org/10.1007/978-3-642-34928-7_1)), we use tools from algebraic geometry to characterize genericity of controllability and stabilizability in terms of matrix formats.



https://doi.org/10.1007/s00498-021-00287-x
Jiang, Yuning; Sauerteig, Philipp; Houska, Boris; Worthmann, Karl
Distributed optimization using ALADIN for MPC in smart grids. - In: IEEE transactions on control systems technology, ISSN 1558-0865, Bd. 29 (2021), 5, S. 2142-2152

This article presents a distributed optimization algorithm tailored to solve optimization problems arising in smart grids. In detail, we propose a variant of the augmented Lagrangian-based alternating direction inexact Newton (ALADIN) method, which comes along with global convergence guarantees for the considered class of linear-quadratic optimization problems. We establish local quadratic convergence of the proposed scheme and elaborate its advantages compared with the alternating direction method of multipliers (ADMM). In particular, we show that, at the cost of more communication, ALADIN requires fewer iterations to achieve the desired accuracy. Furthermore, it is numerically demonstrated that the number of iterations is independent of the number of subsystems. The effectiveness of the proposed scheme is illustrated by running both an ALADIN and an ADMM-based model predictive controller on a benchmark case study.



https://doi.org/10.1109/TCST.2020.3033010
Bouza, Gemayqzel; Quintana, Ernest; Tammer, Christiane
A steepest descent method for set optimization problems with set-valued mappings of finite cardinality. - In: Journal of optimization theory and applications, ISSN 1573-2878, Bd. 190 (2021), 3, S. 711-743

In this paper, we study a first-order solution method for a particular class of set optimization problems where the solution concept is given by the set approach. We consider the case in which the set-valued objective mapping is identified by a finite number of continuously differentiable selections. The corresponding set optimization problem is then equivalent to find optimistic solutions to vector optimization problems under uncertainty with a finite uncertainty set. We develop optimality conditions for these types of problems and introduce two concepts of critical points. Furthermore, we propose a descent method and provide a convergence result to points satisfying the optimality conditions previously derived. Some numerical examples illustrating the performance of the method are also discussed. This paper is a modified and polished version of Chapter 5 in the dissertation by Quintana (On set optimization with set relations: a scalarization approach to optimality conditions and algorithms, Martin-Luther-Universität Halle-Wittenberg, 2020).



https://doi.org/10.1007/s10957-021-01887-y
Grundel, Sara; Heyder, Stefan; Hotz, Thomas; Ritschel, Tobias K. S.; Sauerteig, Philipp; Worthmann, Karl
How to coordinate vaccination and social distancing to mitigate SARS-CoV-2 outbreaks. - In: SIAM journal on applied dynamical systems, ISSN 1536-0040, Bd. 20 (2021), 2, S. 1135-1157

Most countries have started vaccinating people against COVID-19. However, due to limited production capacities and logistical challenges it will take months/years until herd immunity is achieved. Therefore, vaccination and social distancing have to be coordinated. In this paper, we provide some insight on this topic using optimization-based control on an age-differentiated compartmental model. For real-life decision-making, we investigate the impact of the planning horizon on the optimal vaccination/social distancing strategy. We find that in order to reduce social distancing in the long run, without overburdening the health care system, it is essential to vaccinate the people with the highest contact rates first. That is also the case if the objective is to minimize fatalities provided that the social distancing measures are sufficiently strict. However, for short-term planning it is optimal to focus on the high-risk group.



https://doi.org/10.1137/20M1387687
Kriesell, Matthias;
A note on uniquely 10-colorable graphs. - In: Journal of graph theory, ISSN 1097-0118, Bd. 98 (2021), 1, S. 24-26

Hadwiger conjectured that every graph of chromatic number k admits a clique minor of order k. Here we prove for k ≤ 10, that every graph of chromatic number k with a unique k-coloring (up to the color names) admits a clique minor of order k. The proof does not rely on the Four Color Theorem.



https://doi.org/10.1002/jgt.22679
Grüne, Lars; Schaller, Manuel; Schiela, Anton
Abstract nonlinear sensitivity and turnpike analysis and an application to semilinear parabolic PDEs. - In: Control, optimisation and calculus of variations, ISSN 1262-3377, Bd. 27 (2021), 56, insges. 28 S.

We analyze the sensitivity of the extremal equations that arise from the first order necessary optimality conditions of nonlinear optimal control problems with respect to perturbations of the dynamics and of the initial data. To this end, we present an abstract implicit function approach with scaled spaces. We will apply this abstract approach to problems governed by semilinear PDEs. In that context, we prove an exponential turnpike result and show that perturbations of the extremal equation's dynamics, e.g., discretization errors decay exponentially in time. The latter can be used for very efficient discretization schemes in a Model Predictive Controller, where only a part of the solution needs to be computed accurately. We showcase the theoretical results by means of two examples with a nonlinear heat equation on a two-dimensional domain.



https://doi.org/10.1051/cocv/2021030
Gernandt, Hannes; Trunk, Carsten
The spectrum and the Weyr characteristics of operator pencils and linear relations. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2021. - 1 Online-Ressource (18 Seiten). - (Preprint ; M21,05)

The relation between the spectra of operator pencils with unbounded coeficients and of associated linear relations is investigated. It turns out that various types of spectrum coincide and the same is true for the Weyr characteristics. This characteristic describes how many independent Jordan chains up to a certain length exist. Furthermore, the change of this characteristic subject to one-dimensional perturbations is investigated.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2021200091
Gernandt, Hannes; Trunk, Carsten
Locally finite extensions and Gesztesy-Šeba realizations for the Dirac operator on a metric graph. - In: Operator theory, (2021), S. 25-54

Behrndt, Jussi; Schmitz, Philipp; Teschl, Gerald; Trunk, Carsten
Perturbations of periodic Sturm-Liouville operators. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2021. - 1 Online-Ressource (17 Seiten). - (Preprint ; M21,04)

We study perturbations of self-adjoint periodic Sturm-Liouville operators and conclude under L1-assumptions on the differences of the coeffcients that the essential spectrum and absolutely continuous spectrum remain the same. If a finite first moment condition holds for the differences of the coeffcients, then at most finitely many eigenvalues appear in the spectral gaps. This observation extends a seminal result by Rofe-Beketov from the 1960s. Finally, imposing a second moment condition we show that the band edges are no eigenvalues of the perturbed operator.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2021200075
De Santis, Marianna; Eichfelder, Gabriele
A decision space algorithm for multiobjective convex quadratic integer optimization. - In: Computers & operations research, ISSN 0305-0548, Bd. 134 (2021), 105396, S. 1-13

We present a branch-and-bound algorithm for minimizing multiple convex quadratic objective functions over integer variables. Our method looks for efficient points by fixing subsets of variables to integer values and by using lower bounds in the form of hyperplanes in the image space derived from the continuous relaxations of the restricted objective functions. We show that the algorithm stops after finitely many fixings of variables with detecting both the full efficient and the nondominated set of multiobjective strictly convex quadratic integer problems. A major advantage of the approach is that the expensive calculations are done in a preprocessing phase so that the nodes in the branch-and-bound tree can be enumerated fast. We show numerical experiments on biobjective instances and on instances with three and four objectives.



https://doi.org/10.1016/j.cor.2021.105396