Publikationen am Institut für Mathematik

Anzahl der Treffer: 2079
Erstellt: Thu, 18 Apr 2024 23:09:46 +0200 in 0.0863 sec


Bracher, Johannes; Wolffram, Daniel; Deuschel, Jannik; Görgen, Konstantin; Ketterer, Jakob L.; Ullrich, Alexander; Abbott, Sam; Barbarossa, Maria Vittoria; Bertsimas, Dimitris; Bhatia, Sangeeta; Bodych, Marcin; Bosse, Nikos I.; Burgard, Jan Pablo; Castro, Lauren; Fairchild, Geoffrey; Fiedler, Jochen; Fuhrmann, Jan; Funk, Sebastian; Gambin, Anna; Gogolewski, Krzysztof; Heyder, Stefan; Hotz, Thomas; Kheifetz, Yuri; Kirsten, Holger; Krueger, Tyll; Krymova, Ekaterina; Leithäuser, Neele; Li, Michael L.; Meinke, Jan H.; Miasojedow, Błażej; Michaud, Isaac J.; Mohring, Jan; Nouvellet, Pierre; Nowosielski, Jedrzej M.; Ozanski, Tomasz; Radwan, Maciej; Rakowski, Franciszek; Scholz, Markus; Soni, Saksham; Srivastava, Ajitesh; Gneiting, Tilmann; Schienle, Melanie
National and subnational short-term forecasting of COVID-19 in Germany and Poland during early 2021. - In: Communications medicine, ISSN 2730-664X, Bd. 2 (2022), 136, S. 1-17

During the COVID-19 pandemic there has been a strong interest in forecasts of the short-term development of epidemiological indicators to inform decision makers. In this study we evaluate probabilistic real-time predictions of confirmed cases and deaths from COVID-19 in Germany and Poland for the period from January through April 2021.



https://doi.org/10.1038/s43856-022-00191-8
Faulwasser, Timm; Flaßkamp, Kathrin; Ober-Blöbaum, Sina; Schaller, Manuel; Worthmann, Karl
Manifold turnpikes, trims, and symmetries. - In: Mathematics of control, signals, and systems, ISSN 1435-568X, Bd. 34 (2022), 4, S. 759-788

Classical turnpikes correspond to optimal steady states which are attractors of infinite-horizon optimal control problems. In this paper, motivated by mechanical systems with symmetries, we generalize this concept to manifold turnpikes. Specifically, the necessary optimality conditions projected onto a symmetry-induced manifold coincide with those of a reduced-order problem defined on the manifold under certain conditions. We also propose sufficient conditions for the existence of manifold turnpikes based on a tailored notion of dissipativity with respect to manifolds. Furthermore, we show how the classical Legendre transformation between Euler-Lagrange and Hamilton formalisms can be extended to the adjoint variables. Finally, we draw upon the Kepler problem to illustrate our findings.



https://doi.org/10.1007/s00498-022-00321-6
Berger, Thomas; Snoo, Hendrik S. V. de; Trunk, Carsten; Winkler, Henrik
A Jordan-like decomposition for linear relations in finite-dimensional spaces. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2022. - 1 Online-Ressource (34 Seiten). - (Preprint ; M22,05)

A square matrix A has the usual Jordan canonical form that describes the structure of A via eigenvalues and the corresponding Jordan blocks. If A is a linear relation in a finite-dimensional linear space H (i.e., A is a linear subspace of H × H and can be considered as a multivalued linear operator), then there is a richer structure. In addition to the classical Jordan chains (interpreted in the Cartesian product H × H), there occur three more classes of chains: chains starting at zero (the chains for the eigenvalue infinity), chains starting at zero and also ending at zero (the singular chains), and chains with linearly independent entries (the shift chains). These four types of chains give rise to a direct sum decomposition (a Jordan-like decomposition) of the linear relation A. In this decomposition there is a completely singular part that has the extended complex plane as eigenvalues; a usual Jordan part that corresponds to the finite proper eigenvalues; a Jordan part that corresponds to the eigenvalue infinity; and a multishift, i.e., a part that has no eigenvalues at all. Furthermore, the Jordan-like decomposition exhibits a certain uniqueness, closing a gap in earlier results. The presentation is purely algebraic, only the structure of linear spaces is used. Moreover, the presentation has a uniform character: each of the above types is constructed via an appropriately chosen sequence of quotient spaces. The dimensions of the spaces are the Weyr characteristics, which uniquely determine the Jordan-like decomposition of the linear relation.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2022200249
Mühlenhoff, Julian; Körbner, Thorben; Miccoli, Giovanni; Keiner, Dörthe; Hoffmann, Matthias K.; Sauerteig, Philipp; Worthmann, Karl; Flaßkamp, Kathrin; Urbschat, Steffi; Oertel, Joachim; Sattel, Thomas
A manually actuated continuum robot research platform for deployable shape-memory curved cannulae in stereotactic neurosurgery. - In: ACTUATOR 2022: International Conference and Exhibition on New Actuator Systems and Applications, (2022), S. 10-13

In this paper, a research platform for concentric tube continuum robots is developed in order to enable advances in deploying curved cannulae for stereotactic neurosurgery. The system consists of a manually operated high-precision actuation apparatus and a photogrammetric system with measurement errors in the range of 100 micrometer. With this platform, previously planned curved paths can be analyzed ex-situ w.r.t., e.g., target precision, follow-the-leader-behavior, and hysteretic phenomena. Regarding research towards an in-vivo application in human brains, first tests with porcine brain cadavers inside an intraoperative CT are conducted in order to pave the way for histological as well as target reachability studies.



https://ieeexplore.ieee.org/document/9899155
Sauerteig, Philipp; Hoffmann, Matthias K.; Mühlenhoff, Julian; Miccoli, Giovanni; Keiner, Dörthe; Urbschat, Steffi; Oertel, Joachim; Sattel, Thomas; Flaßkamp, Kathrin; Worthmann, Karl
Optimal path planning for stereotactic neurosurgery based on an elastostatic cannula model. - In: IFAC-PapersOnLine, ISSN 2405-8963, Bd. 55 (2022), 20, S. 600-605

In this paper, we propose a path-planning problem for stereotactic neurosurgery using concentric tube robots. The main goal is to reach a given region of interest inside the brain, e.g. a tumor, starting from a feasible point on the skull with an ideally short path avoiding certain sensitive brain areas. To describe the shape of the entire cannula from an entry point to the point of interest we use an existing mechanical model for continuum robots. We show numerically that our approach enables the surgeon to reach areas within the brain that would be impossible with a straight cannula as it is currently state of the art.



https://doi.org/10.1016/j.ifacol.2022.09.161
Zimmermann, Armin; Hotz, Thomas; Hädicke, Volker; Friebe, Martin
Analysis of safety-critical cloud architectures with multi-trajectory simulation. - In: 2022 Annual Reliability and Maintainability Symposium (RAMS), (2022), insges. 7 S.

Dynamic safety-critical systems require model-based techniques and tools for their systems design. The paper presents a stochastic Petri net model of an industrial safetycritical cloud server architecture for train control. Its reliability has to be evaluated to assess tradeoffs in architecture and level of fault tolerance. Simulation methods are too slow for such rare-event problems, while numerical analysis techniques suffer from the state-space explosion problem. The paper extends a recently developed multi-trajectory simulation algorithm combining elements of simulation and numerical analysis such that it increases the accuracy of rare-event simulations within a given computation time budget. Simulation experiments have been carried out with a prototype tool.



https://doi.org/10.1109/RAMS51457.2022.9893923
Schaller, Manuel; Wilson, Mitsuru; Kleyman, Viktoria; Mordmüller, Mario; Brinkmann, Ralf; Müller, Matthias A.; Worthmann, Karl
Parameter estimation and model reduction for model predictive control in retinal laser treatment. - In: Control engineering practice, ISSN 1873-6939, Bd. 128 (2022), 105320

Laser photocoagulation is one of the most frequently used treatment approaches for retinal diseases such as diabetic retinopathy and macular edema. The use of model-based control, such as Model Predictive Control (MPC), enhances a safe and effective treatment by guaranteeing temperature bounds. In general, real-time requirements for model-based control designs are not met since the temperature distribution in the eye fundus is governed by a heat equation with a nonlinear parameter dependency. This issue is circumvented by representing the model by a lower-dimensional system which well-approximates the original model, including the parametric dependency. We combine a global-basis approach with the discrete empirical interpolation method, tailor its hyperparameters to laser photocoagulation, and show its superiority in comparison to a recently proposed method based on Taylor-series approximation. Its effectiveness is measured in computation time for MPC. We further present a case study to estimate the range of absorption parameters in porcine eyes, and by means of a theoretical and numerical sensitivity analysis we show that the sensitivity of the temperature increase is higher with respect to the absorption coefficient of the retinal pigment epithelium (RPE) than of the choroid’s.



https://doi.org/10.1016/j.conengprac.2022.105320
Gernandt, Hannes; Trunk, Carsten
Eigenvalues of parametric rank one perturbations of matrix pencils. - Ilmenau : Technische Universität Ilmenau, Institut für Mathematik, 2022. - 1 Online-Ressource (37 Seiten). - (Preprint ; M22,04)

The behavior of eigenvalues of regular matrix pencils under rank one perturbations which depend on a scalar parameter is studied. In particular we address the change of the algebraic multiplicities, the change of the eigenvalues for small parameter variations as well as the asymptotic eigenvalue behavior as the parameter tends to infinity. Besides that, an interlacing result for rank one perturbations of matrix pencils is obtained. Finally, we apply the result to a redesign problem for electrical circuits.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2022200237
Sauerteig, Philipp; Esterhuizen, Willem; Wilson, Mitsuru; Ritschel, Tobias K. S.; Worthmann, Karl; Streif, Stefan
Model predictive control tailored to epidemic models. - In: 2022 European Control Conference (ECC), (2022), S. 743-748

We propose a model predictive control (MPC) approach for minimising the social distancing and quarantine measures during a pandemic while maintaining a hard infection cap. To this end, we study the admissible and the maximal robust positively invariant set (MRPI) of the standard SEIR compartmental model with control inputs. Exploiting the fact that in the MRPI all restrictions can be lifted without violating the infection cap, we choose a suitable subset of the MRPI to define terminal constraints in our MPC routine and show that the number of infected people decays exponentially within this set. Furthermore, under mild assumptions we prove existence of a uniform bound on the time required to reach this terminal region (without violating the infection cap) starting in the admissible set. The findings are substantiated based on a numerical case study.



https://doi.org/10.23919/ECC55457.2022.9838589
Aigner-Horev, Elad; Person, Yury
On sparse random combinatorial matrices. - In: Discrete mathematics, Bd. 345 (2022), 11, 113017

Let Qn,d denote the random combinatorial matrix whose rows are independent of one another and such that each row is sampled uniformly at random from the subset of vectors in {0,1}n having precisely d entries equal to 1. We present a short proof of the fact that P[det⁡(Qn,d)=0]=O(n1/2log3/2⁡nd)=o(1), whenever ω(n1/2log3/2⁡n)=d≤n/2. In particular, our proof accommodates sparse random combinatorial matrices in the sense that d=o(n) is allowed. We also consider the singularity of deterministic integer matrices A randomly perturbed by a sparse combinatorial matrix. In particular, we prove that P[det⁡(A+Qn,d)=0]=O(n1/2log3/2⁡nd), again, whenever ω(n1/2log3/2⁡n)=d≤n/2 and A has the property that (1,-d) is not an eigenpair of A.



https://doi.org/10.1016/j.disc.2022.113017