<div class="csl-bib-body">
<div class="csl-entry">Schlögl, T. (2020). <i>An Extension framework for epistemic reasoning in Byzantine distributed systems</i> [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2020.69444</div>
</div>
-
dc.identifier.uri
https://doi.org/10.34726/hss.2020.69444
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/1219
-
dc.description.abstract
Diese Diplomarbeit präsentiert ein Erweiterungs-Framework für die leistungsfähige epistemische Modellierungs- und Analyse-Umgebung für Multiagentensysteme mit byzantinisch fehlerhaften Agenten, die 2019 von Kuznets el. al. publiziert wurde. Es erweitert die ursprünglich nur für asynchrone Agenten und asynchrone Kommunikation formulierte Umgebung in einer generischen Art und Weise, die die Formulierung und Kombination zusätzlicher Systemannahmen in modularer Form erlaubt. Unter den spezifischen Erweiterungen, die in der Arbeit enthalten sind, finden sich unter anderem zuverlässige Kommunikation, zeitbeschränkte Kommunikation, Multicasting, synchrone und lockstep-synchrone Agenten und sogar koordinierte Aktionen von Agenten, wie sie in der Modellierung und Analyse von fehlertoleranten verteilten Systemen oftmals anzutreffen sind. Für die zentralen Erweiterungen der synchronen und lockstep-synchronen Agenten werden auch elementare Eigenschaften des resultierenden Gesamtmodells abgeleitet, wie etwa lokale und globale Fehlererkennungsmöglichkeiten und die Existenz/Nichtexistenz eines “brain-in-the-vat”-Szenarios.
de
dc.description.abstract
In this Master thesis, we provide an extension framework for the powerful epistemic reasoning framework for multi-agent systems with byzantine faulty agents published by Kuznets et. al. in 2019, which is currently restricted to asynchronous agents and asynchronous communication. We enrich the existing framework by a generic way to add extensions, which allow to encode and safely combine different system assumptions in a modular way. Among the particular extensions provided in this thesis are reliable communication, time-bounded communication, multicasting, synchronous and lock-step synchronous agents and even agents with coordinated actions, which are commonly used in modeling and analysis of fault-tolerant distributed systems. For the pivotal cases of synchronous and lock-step synchronous agents, we also analyze the basic properties of the resulting model, such as local and global fault detection abilities of the agents and the possibility of a “brain-in-a-vat” scenario.
en
dc.language
English
-
dc.language.iso
en
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
epistemic logic
en
dc.subject
distributed systems
en
dc.subject
byzantine agents
en
dc.subject
fault-tolerant systems
en
dc.title
An Extension framework for epistemic reasoning in Byzantine distributed systems
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.rights.license
In Copyright
en
dc.rights.license
Urheberrechtsschutz
de
dc.identifier.doi
10.34726/hss.2020.69444
-
dc.contributor.affiliation
TU Wien, Österreich
-
dc.rights.holder
Thomas Schlögl
-
dc.publisher.place
Wien
-
tuw.version
vor
-
tuw.thesisinformation
Technische Universität Wien
-
dc.contributor.assistant
Kuznets, Roman
-
tuw.publication.orgunit
E191 - Institut für Computer Engineering
-
dc.type.qualificationlevel
Diploma
-
dc.identifier.libraryid
AC15604396
-
dc.description.numberOfPages
190
-
dc.identifier.urn
urn:nbn:at:at-ubtuw:1-135116
-
dc.thesistype
Diplomarbeit
de
dc.thesistype
Diploma Thesis
en
tuw.author.orcid
0000-0003-0037-0426
-
dc.rights.identifier
In Copyright
en
dc.rights.identifier
Urheberrechtsschutz
de
tuw.advisor.staffStatus
staff
-
tuw.assistant.staffStatus
staff
-
tuw.advisor.orcid
0000-0001-9831-8583
-
tuw.assistant.orcid
0000-0001-5894-8724
-
item.languageiso639-1
en
-
item.fulltext
with Fulltext
-
item.openaccessfulltext
Open Access
-
item.mimetype
application/pdf
-
item.openairetype
master thesis
-
item.grantfulltext
open
-
item.openairecristype
http://purl.org/coar/resource_type/c_bdcc
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-02 - Forschungsbereich Embedded Computing Systems