Diagnosis of Active Systems, Fachbücher von Marina Zanella, G. Lamperti

Das Buch "Diagnosis of Active Systems" befasst sich mit der modellbasierten Diagnose einer Klasse von diskreten Ereignissystemen, die als aktive Systeme bezeichnet werden. Die modellbasierte Diagnose hat das Ziel, fehlerhafte Komponenten eines physikalischen Systems anhand des beobachteten Verhaltens und des Systemmodells zu identifizieren. Aktive Systeme stellen eine Abstraktion physikalischer Artefakte dar, die als Netzwerk kommunizierender Automaten modelliert sind. Ein Beispiel hierfür ist das Schutzsystem eines Stromübertragungsnetzes, das durch endliche Zustandsmaschinen beschrieben werden kann. Das Buch behandelt die Herausforderungen, die bei der Diagnose von Reaktionen auf Störungen, wie etwa Kurzschlüssen, auftreten können, und bietet Lösungen zur Identifizierung fehlerhafter Geräte. Die Forschung, die in diesem Buch präsentiert wird, wurde durch ein Projekt zur Lokalisierung von Kurzschlüssen angestossen, das von ENEL, dem italienischen Elektrizitätsversorger, in Zusammenarbeit mit anderen europäischen Partnern durchgeführt wurde.