In dieser Arbeit wird ein Verfahren vorgestellt, mit dem aus der Beobachtung lokaler Zustände mittels eines formalen Modells Aussagen über andere, nicht-beobachtbare lokale Zustände gemacht werden können. Angewendet auf den Kontext der Diagnose, kann so auf Basis von beobachteten Symptomen auf potentielle Fehlerursachen geschlossen werden. Zur formalen Systemmodellierung werden höhere Petrinetze (PN) verwendet. Die PNSystemmodelle werden anschließend um Diagnoseinformationen erweitert. Bei diesem Schritt kommt die Dualraumtheorie der linearen Algebra zum Tragen. Die Ergebnisse einer aktuell laufenden Machbarkeitsstudie werden vorgestellt.
Ergebnisse einer Machbarkeitsstudie zur Modellbasierten Diagnose auf Basis von Petrinetzen
2007
11 Seiten, 5 Bilder, 1 Tabelle, 17 Quellen
Aufsatz (Konferenz)
Deutsch
Integrierte Modellbildung und Simulation mit Petrinetzen
Kraftfahrwesen | 1989
|Ein Verfahren zur modellbasierten On-Board Diagnose von Drei-Wege-Katalysatoren
Tema Archiv | 2009
|Modellierung regelbasierten Pilotenverhaltens mit Petrinetzen
Tema Archiv | 1996
|