This thesis provides an extensive overview on the state-of-the-art daylighting systems for applications in buildings and subsequently addresses the implementation of subfield addressing in micromirror arrays and investigation of a potential scalable lithography process for the large-area fabrication, both have been identified as the research gap in achieving the envisioned application as smart window. The work is conducted in continuation of the optimized fabrication process and the successful fabrication of a lab ...

Automated vehicles are among the biggest trends in the automotive industry. The desired level of automation slowly progresses from advanced driver assistance system functions to fully autonomous driving. Excellent environmental perception is a critical requirement in this development. This thesis focuses on solutions to the challenges that come with the utilization of automotive radar systems for road user recognition. Therefore, several machine learning techniques are applied and compared to detect and classify ...

We introduce and study an extension of the well-known and well-studied branching-time logics CTL, CTL+, FCTL+, CTL* and the modal μ-calculus with the so called "hybrid framework". This framework borrows ideas from first-order logic to enable more precise "structural" reasoning which is known to be impossible in the original logics. In particular, the extension with this framework enables these logics to uniquely name, reference and test for certain states, similarly to the concepts of variables and constants in ...

Technological advancements have increasingly facilitated emotion recognition through physiological sensors integrated into intelligent devices, such as earables and wristbands. People commonly wear these devices in their everyday lives (i.e., in the wild). Patterns can be extracted from various physiological signals, enabling the recognition of emotions. This capability can be integrated into diverse applications, such as attention management systems, human-robot interaction, and stress detection, enhancing them to ...

In the field of Formal Concept Analysis, data is mainly presented in so-called formal contexts, which assign to a set of objects their respective attributes. From those concept lattices can be generated, where the objects are grouped with respect to their common attributes to represent the relationships in the data in a way that enhances the understandability for humans. However, since a concept lattice can be of exponential size compared to its associated formal context, the presented relationships often become hard ...

The ongoing digital transformation of our economy and society poses significant challenges towards modern software systems. Application areas like Smart Cities and Industry 4.0 set high requirements on software quality attributes like scalability and reliability. At the same time, IT companies face an ever-growing demand in flexibility and continuous improvements of delivery cycles. Microservice Architecture (MSA) is a novel approach to the realization of software architectures that aims to foster their scalability, ...

In this dissertation, two different types of trajectories are investigated. In the engfirst part of this work, we investigate methods for the analysis of physical trajectories. We focus on scenarios, in which signal strengths ofWiFi access points are recorded. In detail, they are recorded through smartphone devices by people moving through a building. By means of theWiFi signal strengths, (physical) trajectories of humans are reconstructed, which reflect the locations visited over time. Accurate localization based ...

Today, networks are an integral part of our world. Let it be real-life friendship networks or social connections that are based on social media. In this thesis, we contribute to the understanding of networks by studying networks from three different perspectives. First, we adapt notions and concepts from orometry to metric data and networks to gain novel insights from a local perspective. Specifically, we study measures of local outstandingness and propose concepts to derive small hierarchies from larger networks. ...

Following the principle of knowing through making, this thesis discusses development and application of a practice-based methodology for construction of digital artefacts within cultural contexts. It addresses the epistemological diversity and complexity inhering within interdisciplinary projects, suggesting methodological devices able to navigate the variegated disciplinary landscape present within respective development projects. The conceptual pair complexity/complication acts as theoretical point of reference ...

Mit der Entwicklung von Wissenschaft und Technik steigen auch die Fähigkeiten autonomer Roboter. Immer mehr und kompliziertere Roboterszenarien werden in vielen Bereichen realisierbar, wie z. B. Mäh-, Ernte- und Lagerroboter. Daher wird die Planung für sie zu einer immer wichtigeren Aufgabe. Da diese Roboter jedoch täglich komplexer werden, ist die Sicherheitszertifizierung ein unvermeidliches Anliegen bei der Entwicklung von mehr autonomen Robotern. Daher ist die Verifizierung der Pläne vor der Verwendung und dem ...