Publikationen an der Fakultät für Informatik und Automatisierung ab 2015

Anzahl der Treffer: 1424
Erstellt: Mon, 25 Oct 2021 12:38:15 +0200 in 0.0737 sec


Kuske, Dietrich; Zetzsche, Georg;
Languages ordered by the subword order. - In: Foundations of software science and computation structures. - Cham : Springer, (2019), , S. 348-364

We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the language, the used predicates, and the fragment of the logic, we determine four new combinations that yield decidable theories. These results extend earlier ones where only the language of all words without the cover relation and fragments of first-order logic were considered.



Graichen, Uwe; Eichardt, Roland; Haueisen, Jens;
SpharaPy: a Python toolbox for spatial harmonic analysis of non-uniformly sampled data. - In: SoftwareX. - Amsterdam [u.a.] : Elsevier, ISSN 2352-7110, Bd. 10 (2019), 100289, S. 1-7

https://doi.org/10.1016/j.softx.2019.100289
Li, Qiucheng;
Development of an adaptive navigation system for indoor mobile handling and manipulation platforms. - Ilmenau : Universitätsbibliothek, 2019. - 1 Online-Ressource (xvii, 154 Seiten).
Technische Universität Ilmenau, Dissertation 2019

Eine der grundlegenden Funktionen, welche die Autonomie in der mobilen Robotik ermöglicht, ist die Navigation. Sie ist eine wesentliche Voraussetzung dafür, dass mobile Roboter selbständig anspruchsvolle Aufgaben erfüllen können. Die Umsetzung der Navigation wird dabei oft als eine der wichtigsten Herausforderungen identifiziert. Die Kartenerstellung und Lokalisierung als Grundlage für die Navigation wurde in den letzten Jahrzehnten intensiv erforscht. Es existieren jedoch immer noch eine Reihe von Problemen, z.B. die Anwendung auf große Areale oder bei der Umsetzung auf kostengünstigen und energiesparenden Embedded-Systemen. Diese Arbeit stellt neue Ansätze und Lösungen im Bereich der LiDAR-basierten simultanen Positionsbestimmung und Kartenerstellung (SLAM) vor. Eine Schlüsselkomponente der LiDAR-basierten SLAM, die so genannten Scan-Matching-Algorithmen, wird näher untersucht. Verschiedene Scan-Matching-Algorithmen werden zum ersten Mal systematisch mit verschiedenen LiDARs für den Innenbereich getestet. Der Einfluss von LiDARs auf die Eigenschaften der Algorithmen wird quantitativ analysiert. Verbesserungen an Bayes-filterbasierten und graphoptimierten SLAMs werden in dieser Arbeit vorgestellt. Bayes-filterbasierte SLAMs verwenden hauptsächlich die aktuellen Sensorinformationen, um die beste Schätzung zu finden. Eine neue effiziente Implementierung des auf Partikel-Filter basierenden SLAM unter der Verwendung einer Lookup-Tabelle und der Parallelisierung wird vorgestellt. Die neue Implementierung kann effizient auf aktuellen Embedded-Systemen laufen. Im Gegensatz dazu verwenden Graph-SLAMs alle Sensorinformationen und minimieren den Gesamtfehler im System. Ein neues Echtzeitmodel für die Grafenerstellung und eine robuste integrierte SLAM-Lösung werden vorgestellt. Die Verbesserungen umfassen die Definition von eindeutigen Richtungsnormen für Scan, effiziente Algorithmen zur Erkennung von Loop Closures und eine parallele und adaptive Implementierung. Der entwickelte und auf eingebetteten Systemen eingesetzte Algorithmus übertrifft die aktuellen Algorithmen in Geschwindigkeit und Robustheit, insbesondere für große Areale. Die Ergebnisse der Arbeit können für die Verbesserung der Navigation von autonomen Robotern im Innenbereich, häuslichen Umfeld sowie der Intra-Logistik genutzt werden.



https://nbn-resolving.org/urn:nbn:de:gbv:ilm1-2019000090
Reger, Johann;
Regelungstechnisches Kolloquium in Boppard. - In: Automatisierungstechnik : AT.. - Berlin : De Gruyter, ISSN 2196-677X, Bd. 67 (2019), 6, S. 518-519

https://doi.org/10.1515/auto-2019-0057
Dölker, Eva-Maria; Petkovi´c, Bojana; Schmidt, Reinhard; Ziolkowski, Marek; Brauer, Hartmut; Haueisen, Jens;
Single voxel approach for Lorentz force evaluation. - In: Compel : international journal of computation & mathematics in electrical & electronic engineering.. - Bradford : Emerald, ISSN 2054-5606, Bd. 38 (2019), 3, S. 943-952

https://doi.org/10.1108/COMPEL-09-2018-0354
Eichardt, Roland; Strohmeier, Daniel; Hunold, Alexander; Machts, René; Haueisen, Jens; Oelsner, Gregor; Schmidt, Christian B.; Schultze, Volkmar; Stolz, Ronny; Graichen, Uwe;
Sensitivity studies and optimization of arrangements of optically pumped magnetometers in simulated magnetoencephalography. - In: Compel : international journal of computation & mathematics in electrical & electronic engineering.. - Bradford : Emerald, ISSN 2054-5606, Bd. 38 (2019), 3, S. 953-964

https://doi.org/10.1108/COMPEL-09-2018-0372
Wiemuth, Felix; Amthor, Peter; Kühnhauser, Winfried;
Static termination analysis for event-driven distributed algorithms. - In: DEBS'19 : proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems : June 24-28, 2019, Darmstadt, Germany.. - New York, New York : The Association for Computing Machinery, (2019), , S. 151-162

https://doi.org/10.1145/3328905.3329500
Fiser, Ondrej; Hruby, Vojtech; Ley, Sebastian; Helbig, Marko; Sachs, Jürgen; Vrba, Jan;
Numerical study of differential temperature measurement in human muscle tissue using UWB radar. - In: 2019 13th European Conference on Antennas and Propagation (EuCAP). - [Piscataway, NJ] : IEEE, (2019), , insges. 4 S.

https://ieeexplore.ieee.org/document/8740020
Ley, Sebastian; Schilling, Susanne; Fiser, Ondrej; Vrba, Jan; Sachs, Jürgen; Helbig, Marko;
Ultra-wideband temperature dependent dielectric spectroscopy of blood in the microwave frequency range. - In: 2019 13th European Conference on Antennas and Propagation (EuCAP). - [Piscataway, NJ] : IEEE, (2019), , insges. 4 S.

https://ieeexplore.ieee.org/document/8740004
Schwind, Andreas; Andrich, Carsten; Wendland, Philip; Döbereiner, Michael; Del Galdo, Giovanni; Schäfer, Günter; Thomä, Reiner; Hein, Matthias;
Bi-static delay-Doppler emulation of cooperative passive vehicle-to-X radar. - In: 2019 13th European Conference on Antennas and Propagation (EuCAP). - [Piscataway, NJ] : IEEE, (2019), , insges. 5 S.

https://ieeexplore.ieee.org/document/8739479