Logo des Repositoriums
 

SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs

dc.contributor.authorDa Silva, Carina
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2022-12-02T12:57:46Z
dc.date.available2022-12-02T12:57:46Z
dc.date.issued2022
dc.description.abstractSicherheitskritische Systeme stellen einen wichtigen Teil des heutigen Lebens dar. Modellierung und formale Verifikation bieten Ansätze zur Analyse solcher Systeme im Hinblick auf Systemeigenschaften wie beispielsweise Zuverlässigkeit. In meiner Dissertation [Pi21] wird eine Unterklasse stochastischer hybrider Systeme betrachtet, die diskrete, kontinuierliche und stochastische Variablen kombiniert. Es werden neuartige Ansätze für die Evaluation von hybriden Petri-Netzen mit allgemeinen Transitionen (HPnGs) vorgestellt. Diese umfassen statistisches Model Checking für Modelle mit linearen und nichtlinearen kontinuierlichen Verläufen sowie die (zeitlich begrenzte) Erreichbarkeitsanalyse für nichtdeterministische Modelle. Darüber hinaus stellt die Dissertation einen Ansatz für eine Transformation von HPnGs in eine Unterklasse der stochastischen hybriden Automaten vor, die die Anwendung bestehender, für hybride Automaten entwickelter Methoden auf stochastische hybride Modelle ermöglicht. Der resultierende Fehler der vorgestellten Ansätze kann dabei genau charakterisiert werden.de
dc.identifier.isbn978-3-88579-980-1
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/39831
dc.language.isode
dc.publisherKöllen Druck + Verlag GmbH
dc.relation.ispartofD22
dc.relation.ispartofseriesAusgezeichnete Informatikdissertationen 2021
dc.titleSMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGsde
dc.typeText/Conference Paper
gi.citation.endPage20
gi.citation.publisherPlaceBonn
gi.citation.startPage11
gi.conference.date22.-25. Mai 2022
gi.conference.locationSchoss Dagstuhl, Deutschland

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Dasilva-Carina.pdf
Größe:
488.07 KB
Format:
Adobe Portable Document Format