NOUS 2.0: a MATLAB® toolbox for the design of globally monotonie tracking controllers. - In: 2017 21st International Conference on System Theory, Control and Computing (ICSTCC), ISBN 978-1-5386-3842-2, (2017), S. 729-735
https://doi.org/10.1109/ICSTCC.2017.8107123
Indoor localization: novel RSSI approach based on analytical solution and two receivers. - In: Journal of sensors and sensor systems, ISSN 2194-878X, Bd. 6 (2017), 2, S. 375-380
https://doi.org/10.5194/jsss-6-375-2017
Scanning method for indoor localization using the RSSI approach. - In: Journal of sensors and sensor systems, ISSN 2194-878X, Bd. 6 (2017), 1, S. 247-251
This paper presents a scanning method for indoor mobile robot localization using the received signal strength indicator (RSSI) approach. The method eliminates the main drawback of the conventional fingerprint, whose database construction is time-consuming and which needs to be rebuilt every time a change in indoor environment occurs. It directly compares the column vectors of a kernel matrix and signal strength vector using the Euclidean distance as a metric. The highest resolution available in localization using a fingerprint is restricted by a resolution of a set of measurements performed prior to localization. In contrast, resolution using the scanning method can be easily changed using a denser grid of potential sources. Although slightly slower than the trilateration method, the scanning method outperforms it in terms of accuracy, and yields a reconstruction error of only 0. 08 m averaged over 1600 considered source points in a room with dimensions 9.7 m × 4.7 m × 3 m. Its localization time of 0. 39 s makes this method suitable for real-time localization and tracking.
https://doi.org/10.5194/jsss-6-247-2017
Analysis of lightning current distributions in a head-phantom by measurement and simulation :
Analyse von Blitzstromverteilungen in einem Kopfphantom mittels Messungen und Simulationen. - In: 12. VDE/ABB-Blitzschutztagung, (2017), S. 166-171
The monoid of queue actions. - In: Semigroup forum, ISSN 1432-2137, Bd. 95 (2017), 3, S. 475-508
We model the behavior of a fifo-queue as a monoid of transformations that are induced by sequences of writing and reading. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties such as conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership problem is NL-complete. Furthermore, we present an algebraic characterization of this monoid's recognizable subsets. Finally, we prove that it is not Thurston-automatic.
https://doi.org/10.1007/s00233-016-9835-4
Automated validation of minimum risk model-based system designs of complex avionics systems. - Ilmenau : Universitätsbibliothek, 2017. - 1 Online-Ressource (xx, 332 Seiten)
Technische Universität Ilmenau, Dissertation 2017
Große zivile Flugzeuge umfassen eine hohe Anzahl von komplexen und gekoppelten Subsystemen mit Tausenden von elektronischen Steuergeräten und Software mit Millionen von Codezeilen. Keine einzelne Person kann die komplexen Wechselwirkungen eines solchen Systems von Systemen verstehen. Daher beinhalten geschriebene, nicht ausführbare Spezifikationen einen hohen Grad an Produktunsicherheit. Infolgedessen müssen mehr als zwei Drittel aller Spezifikationen überarbeitet werden. Da die meisten Spezifikationsfehler zu einem späten Zeitpunkt entdeckt und gelöst werden, wenn Aufwände für Überarbeitungen maximal sind, hat der gegenwärtige Entwicklungsansatz eine hohe Wahrscheinlichkeit für Kosten- und Zeitüberschreitungen oder führt zum Fehlschlagen von Projekten. Hierdurch wird das Entwicklungsrisiko maximiert. Es ist das Ziel dieser Arbeit, eine modell- und simulationsbasierte Entwicklungsmethode mit zugehöriger Entwurfs- und Validierungsumgebung zu entwickeln, welche das Risiko der Entwicklung für komplexe Systeme minimiert. Das Entwicklungsrisiko ist minimal, wenn alle Entwicklungsentscheidungen frühzeitig vom Endkunden gegen die Leistungen eines Produktes auf Missionsebene validiert werden. Dazu werden ausführbare Spezifikationen während des Entwurfs erstellt und anhand der Anforderungen auf Missionsebene validiert. Validierte ausführbare Spezifikationen werden für alle Entscheidungen von der Konzeptentwicklung bis zur Implementierung verwendet und aktualisiert. Darüber hinaus werden virtuelle Prototypen entwickelt, welche ausführbare Spezifikationen mit Konzeptmodellen für Mensch-Maschine-Schnittstellen kombinieren, um Usability-Anforderungen in den Gesamtentwurf aufzunehmen. Dies ermöglicht eine interaktive Validierung sowie frühes Endbenutzertraining mittels benutzergesteuerter Systemsimulation. Es werden ausführbare Arbeitsabläufe und Simulation Sets entwickelt, welche die Ausführung von strukturierten und gekoppelten Simulationsmodellen ermöglichen. Anschließend wird ein modell- und simulationsbasiertes Entwicklungs- und Validierungsprozessmodell vom Konzeptdesign bis zur Spezifikationsentwicklung entwickelt. Hierfür werden zwei verschiedene Validierungsprozesse verwendet. Ein automatisierter Validierungsprozess basierend auf ausführbaren Spezifikationen und ein interaktiver Validierungsprozess basierend auf virtuellen Prototypen. Für die Entwicklung von ausführbaren Spezifikationen und virtuellen Prototypen werden Modellkomponenten entwickelt. Die entwickelte Methode wird mithilfe von Beispielen aus der zivilen Flugzeugentwicklung validiert, insbesondere in Hinblick auf Avionik sowie hoch konfigurierbare und anpassbare Kabinensysteme.
http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017000432
Acquiring and preprocessing leaf images for automated plant identification: understanding the tradeoff between effort and information gain. - In: Plant methods, ISSN 1746-4811, 13 (2017), article number 97, Seite 1-11
https://doi.org/10.1186/s13007-017-0245-8
Automatic optimization of load angles for a linear hybrid stepper motor. - In: Engineering for a changing world, (2017), insges. 12 S.
http://nbn-resolving.de/urn:nbn:de:gbv:ilm1-2017iwk-073:3
A discrete event simulation and evaluation framework for multi UAV system maintenance processes. - In: 2017 IEEE International Symposium on Systems Engineering, ISBN 978-1-5386-3403-5, (2017), insges. 6 S.
https://doi.org/10.1109/SysEng.2017.8088280
Magnetic nanoparticle-gel materials for development of MPI and MRI phantoms. - In: 7th International Workshop on Magnetic Particle Imaging - IWMPI 2017, (2017), S. 31-32