Suche
Anzeige der Dokumente 1-6 von 6
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Extremal Fixpoints for Higher-Order Modal Logic
(2018-10)
In this dissertation, we investigate the interplay between extremal fixpoints and higher-order constructs. The main Focus here is Higher-Order Modal Fixpoint Logic (HFL), an extension of the modal mu-calculus by a simply typed lambda calculus. The resulting logic is very expressive, yet the interplay of its components has not been systematically investigated so far. Goal of this thesis is to characterize the interplay of the components of HFL.
A first characterization is given by converting the denotational semantics ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Planning of Autonomous and Mobile Robots in Dynamic Environments
(2018-11)
The capabilities of autonomous robots are increasing which is a reason for research progress
in the last years. An increasing number of robotic scenarios are becoming more viable in
various domains for example, mowing, harvesting, warehouse robots. But autonomous
mobile robots need more than the ability to navigate through their world, and manipulate
objects. Even in teams of robots, a structured plan for each team member is necessary.
Planning becomes a more important task. Furthermore, the environment can ...
Dissertation
Dynamische Konfiguration verteilter Informationsverarbeitung in Gruppen heterogener Agenten
(2018-03-22)
Das erfolgreiche Agieren von Multiagentensystemen (MAS) setzt eine umfangreiche und hochwertige Wissensbasis voraus. Die Wissensbasis umfasst die von einem Agenten benötigten Informationen, welche durch die Verarbeitung von Sensorinformationen erzeugt werden. Die Anpassung der Informationsverarbeitung an die Einsatzdomäne ermöglicht es, die Qualität der Wissensbasis zu gewährleisten und so die Leistung des MAS zu steigern. Aktuelle Middleware-Systeme unterstützen die Integration von gängigen Methoden und Verfahren ...
Dissertation
Ordered Restarting Automata
(epubli, 2018-07-10)
In der folgenden Arbeit geht es um geordnete Restartautomaten. Restartautomaten sind ein theoretisches Modell, das in der Linguistik bei der Analyse durch Reduktion Verwendung findet. Die geordneten Restartautomaten wurden im Zusammenhang von zweidimensionalen Bildsprachen eingeführt und bilden das zugrundeliegende eindimensionale Modell.
Von diesem eindimensionalen Modell betrachten wir verschiedene Varianten und untersuchen und vergleichen hauptsächlich Sprachklassen und Beschreibungskomplexität. Eine Gemeinsamkeit ...
Dissertation
![Open Access](/themes/Mirage2/images/Open_Access_logo_PLoS_transparent.svg)
Fehlertoleranz und Elastizität für ein Framework zur globalen Lastenbalancierung
(2018-09-10)
Die Anzahl an Rechenknoten in Hochleistungsrechnern wächst stetig. In solchen Systemen nimmt die Bedeutung von Fehlertoleranz zu, da die Wahrscheinlichkeit eines permanenten Knotenausfalls ebenfalls stetig wächst.
Fehlertoleranz gegenüber permanenten Knotenausfällen wird typischerweise durch Checkpointing auf Systemebene realisiert. Findet das Checkpointing jedoch auf Anwendungsebene statt, können Laufzeitvorteile erzielt werden. Diese Implementierungen sind allerdings zeitintensiv und fehleranfällig. Anwendungen, ...
Dissertation
Verknüpfung von Domänenwissen für ein Ontologie-basiertes IT-Management
(2018-05-14)
Mit der steigenden Komplexität von IT-Systemen wird auch die Verwaltung dieser Systeme komplexer. Den Fragestellungen, die sich durch diese Komplexität auf der Seite des Betriebs und der Überwachung von IT-Systemen stellen, wird durch integriertes und automatisiertes IT-Management begegnet, indem auch implizite Zusammenhänge zwischen Aspekten aus unterschiedlichen Sichten auf die Systeme berücksichtigt werden, sowie die weitgehende Eliminierung des manuellen Anteils bei Überwachung und Pflege der Systeme angestrebt ...