Suche
Anzeige der Dokumente 1-5 von 5
Dissertation
Formal Verification for ALICA Plans
(2021)
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 ...
Dissertation
Towards Service Co-evolution in the Internet of Things
(2021-12)
Nowadays, in the world of technology, where the new technologies are devolved and replace the old ones every single day, any software product in order to maintain its competitiveness, must be updated continually. Updating a software product results from an evolution process, including adding new features, replacing outdated features, repairing bugs, closing security gaps, and improving performance, which requires a lot of effort and knowledge. Therefore, the Internet of Things (IoT) services are no exception.
An ...
Dissertation
A Self-Organising Multi-Agent Knowledge Base
(2021-12)
Digitale Städte sind zunehmend auf IT- und Kommunikationsinfrastruktur angewiesen. Sie können als große verteilte Systeme betrachtet werden, die aus heterogenen und autonomen Teilnehmern bestehen. Besonders in Notfall- und Krisensituationen muss kritisches Wissen, beispielsweise über verletzte Personen oder beschädigte Infrastruktur, zuverlässig auch unter eingeschränkter Kommunikation erreichbar sein. In einer solchen Umgebung würde eine zentrale Verwaltung des kritischen Wissens einen Engpass verursachen. Daher ...
Dissertation
Situative Teams in Cooperative Autonomous Systems
(2023)
Distributed systems have been established in many areas of IT and will play an even more significant role in the future. Such systems are no longer limited to specific fields of application but interconnect many different domains. They encompass, e. g. Cloud Computing, Internet of Things, service robotics, and autonomous vehicles. The integrated sub-systems communicate in order to exchange information and, if necessary, perform tasks together. Moreover, the number of interconnected sub-systems is constantly growing. ...
Dissertation
Symbolic Representation of Dynamic Knowledge for Robotic Teams
(2020-11)
Das Forschungsziel dieser Arbeit ist es, die konzeptionellen Grundlagen für ein Team autonomer Roboter zu entwickeln, welches in der Lage ist, Wissen über seine Umwelt symbolisch darzustellen, über sein symbolisches Wissen zu kommunizieren und mit dem Wissen zu schlussfolgern, während sich die Umgebung dynamisch ändert. Dieses Forschungsziel wird durch mehrere Anwendungsbereiche motiviert, wobei die Domäne der Haushaltsroboter das Forschungsziel am besten motiviert. Wir haben die Anwendungsdomänen und das Forschungsziel ...