Publikationen am Institut für Mathematik

Anzahl der Treffer: 2069
Erstellt: Sat, 02 Mar 2024 23:13:49 +0100 in 0.0784 sec

Eichfelder, Gabriele; Quintana, Ernest
Set-based robust optimization of uncertain multiobjective problems via epigraphical reformulations. - In: European journal of operational research, ISSN 0377-2217, Bd. 313 (2024), 3, S. 871-882

In this paper, we study a method for finding robust solutions to multiobjective optimization problems under uncertainty. We follow the set-based minmax approach for handling the uncertainties which leads to a certain set optimization problem with the strict upper type set relation. We introduce, under some assumptions, a reformulation using instead the strict lower type set relation without sacrificing the compactness property of the image sets. This allows to apply vectorization results to characterize the optimal solutions of these set optimization problems as optimal solutions of a multiobjective optimization problem. We end up with multiobjective semi-infinite problems which can then be studied with classical techniques from the literature.
Böhme, Thomas; Harant, Jochen; Kriesell, Matthias; Mohr, Samuel; Schmidt, Jens M.
Rooted minors and locally spanning subgraphs. - In: Journal of graph theory, ISSN 1097-0118, Bd. 105 (2024), 2, S. 209-229

Results on the existence of various types of spanning subgraphs of graphs are milestones in structural graph theory and have been diversified in several directions. In the present paper, we consider “local” versions of such statements. In 1966, for instance, D. W. Barnette proved that a 3-connected planar graph contains a spanning tree of maximum degree at most 3. A local translation of this statement is that if G is a planar graph, X is a subset of specified vertices of G such that X cannot be separated in G by removing two or fewer vertices of G, then G has a tree of maximum degree at most 3 containing all vertices of X. Our results constitute a general machinery for strengthening statements about k-connected graphs (for 1 ≤ k ≤ 4) to locally spanning versions, that is, subgraphs containing a set X ⊆ V (G) of a (not necessarily planar) graph G in which only X has high connectedness. Given a graph G and X ⊆ V (G), we say M is a minor of G rooted at X, if M is a minor of G such that each bag of M contains at most one vertex of X and X is a subset of the union of all bags. We show that G has a highly connected minor rooted at X if X ⊆ V (G) cannot be separated in G by removing a few vertices of G. Combining these investigations and the theory of Tutte paths in the planar case yields locally spanning versions of six well-known results about degree-bounded trees, Hamiltonian paths and cycles, and 2-connected subgraphs of graphs.
Beddig, Rebekka S.; Benner, Peter; Dorschky, Ines; Reis, Timo; Schwerdtner, Paul; Voigt, Matthias; Werner, Steffen W. R.
Structure-preserving model reduction for dissipative mechanical systems. - In: Calm, smooth and smart, (2024), S. 209-230

Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recently developed structure-preserving model reduction methods for second-order systems. These methods are based on modal and balanced truncation in different variants, as well as on rational interpolation. Numerical examples are used to illustrate the effectiveness of all described methods.
Espuny Díaz, Alberto; Janzer, Barnabás; Kronenberg, Gal; Lada, Joanna
Long running times for hypergraph bootstrap percolation. - In: European journal of combinatorics, Bd. 115 (2024), 103783, S. 1-18

Consider the hypergraph bootstrap percolation process in which, given a fixed r-uniform hypergraph H and starting with a given hypergraph G0, at each step we add to G0 all edges that create a new copy of H. We are interested in maximising the number of steps that this process takes before it stabilises. For the case where H = Kr+1(r) with r ≥ 3, we provide a new construction for G0 that shows that the number of steps of this process can be of order Θ (nr). This answers a recent question of Noel and Ranganathan. To demonstrate that different running times can occur, we also prove that, if H is K4(3) minus an edge, then the maximum possible running time is 2n − ⌊log2(n−2)⌋ − 6. However, if H is K5(3) minus an edge, then the process can run for Θ (n3) steps.
Eichfelder, Gabriele; Stein, Oliver
Limit sets in global multiobjective optimization. - In: Optimization, ISSN 1029-4945, Bd. 73 (2024), 1, S. 1-27

Inspired by the recently introduced branch-and-bound method for continuous multiobjective optimization problems from G. Eichfelder, P. Kirst, L. Meng, O. Stein [A general branch-and-bound framework for continuous global multiobjective optimization. J Glob Optim. 2021;80:195-227], we study for a general class of branch-and-bound methods in which sense the generated terminal enclosure and the terminal provisional nondominated set approximate the nondominated set when the termination accuracy is driven to zero. Our convergence analysis of the enclosures relies on constructions from the above paper, but is self-contained and also covers the mixed-integer case. The analysis for the provisional nondominated set is based on general convergence properties of the epsilon-nondominated set, and hence it is also applicable to other algorithms which generate such points. Furthermore, we discuss post-processing steps for the terminal enclosure and provide numerical illustrations for the cases of two and three objective functions.
Goor, Pieter; vanMahony, Robert; Schaller, Manuel; Worthmann, Karl
Reprojection methods for Koopman-based modelling and prediction. - In: IEEE Xplore digital library, ISSN 2473-2001, (2023), S. 315-321

Extended Dynamic Mode Decomposition (eDMD) is a powerful tool to generate data-driven surrogate models for the prediction and control of nonlinear dynamical systems in the Koopman framework. In eDMD a compression of the lifted system dynamics on the space spanned by finitely many observables is computed, in which the original space is embedded as a low-dimensional manifold. While this manifold is invariant for the infinite-dimensional Koopman operator, this invariance is typically not preserved for its eDMD-based approximation. Hence, an additional (re-)projection step is often tacitly incorporated to improve the prediction capability. We propose a novel framework for consistent reprojectors respecting the underlying manifold structure. Further, we present a new geometric reprojector based on maximum-likelihood arguments, which significantly enhances the approximation accuracy and preserves known finite-data error bounds.
Yeo, Yi Lin; Kirlangic, Mehmet Eylem; Heyder, Stefan; Supriyanto, Eko; Mohamad Salim, Maheza I.; Fiedler, Patrique; Haueisen, Jens
Linear versus quadratic detrending in analyzing simultaneous changes in DC-EEG and transcutaneous pCO2. - In: 2023 45th Annual International Conference of the IEEE Engineering in Medicine & Biology Conference (EMBC), (2023), insges. 4 S.

Physiological direct current (DC) potential shifts in electroencephalography (EEG) can be masked by artifacts such as slow electrode drifts. To reduce the influence of these artifacts, linear detrending has been proposed as a pre-processing step. We considered quadratic detrending, which has hardly been addressed for ultralow frequency components in EEG. We compared the performance of linear and quadratic detrending in simultaneously acquired DC-EEG and transcutaneous partial pressure of carbon dioxide during two activation methods: hyperventilation (HV) and apnea (AP). Quadratic detrending performed significantly better than linear detrending in HV, while for AP, our analysis was inconclusive with no statistical significance. We conclude that quadratic detrending should be considered for DC-EEG preprocessing.
Berger, Thomas; Lanza, Lukas
Funnel control of linear systems with arbitrary relative degree under output measurement losses. - In: IMA journal of mathematical control and information, ISSN 1471-6887, Bd. 40 (2023), 4, S. 691-713

We consider tracking control of linear minimum phase systems with known arbitrary relative degree which are subject to possible output measurement losses. We provide a control law which guarantees the evolution of the tracking error within a (shifted) prescribed performance funnel whenever the output signal is available. The result requires a maximal duration of measurement losses and a minimal time of measurement availability, which both strongly depend on the internal dynamics of the system, and are derived explicitly. The controller is illustrated by a simulation of a mass-on-car system.
Schmitz, Philipp; Lanza, Lukas; Worthmann, Karl
Safe data-driven reference tracking with prescribed performance. - In: IEEE Xplore digital library, ISSN 2473-2001, (2023), S. 454-460
ISBN 979-8-3503-3798-3

We study output reference tracking for unknown continuous-time systems with arbitrary relative degree. The control objective is to keep the tracking error within predefined time-varying bounds while measurement data is only available at discrete sampling times. To achieve the control objective, we propose a two-component controller. One part is a recently developed sampled-data zero-order hold controller, which achieves reference tracking within prescribed error bounds. To further improve the control signal, we explore the system dynamics via input-output data, and include as the second component a data-driven MPC scheme based on Willems et al.’s fundamental lemma. This combination yields significantly improved input signals as illustrated by a numerical example.
Baragaña, Itziar; Martínez Pería, Francisco; Roca, Alicia; Trunk, Carsten
The rank-one perturbation problem for linear relations. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2023. - 1 Online-Ressource (29 Seiten). - (Preprint ; M23,12)

We use the recently introduced Weyr characteristic of linear relations in Cn and its relation with the Kronecker canonical form of matrix pencils to describe their dimension. Then, this is applied to study one-dimensional perturbations of linear relations.