Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Diagnosing hybrid cyber-physical systems using state-space models and satisfiability modulo theory

Paper presented at the 29th International Workshop on Principles of Diagnosis, DX 2018, 27-30 August 2018, Warsaw, Poland, held in conjunction with the 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Safeprocess 2018
 
: Diedrich, Alexander; Niggemann, Oliver

:
Volltext urn:nbn:de:0011-n-5213572 (266 KByte PDF)
MD5 Fingerprint: 30bb2bba84bf0f5865cfacc336cfa986
Erstellt am: 5.12.2018


2018, 8 S.
International Workshop on Principles of Diagnosis (DX) <29, 2018, Warsaw>
Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS) <10, 2018, Warsaw>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer IOSB ()

Abstract
Diagnosing faults in large cyber-physical production systems is hard and often done manually. n this paper we present an approach to leverage methods from the fault detection and isolation community as well as model-based diagnosis to diagnose faults. Given a model of the production system we capture its dynamic behaviour with a state-space model. Then we translate the state-space model into satisfiability theory modulo linear arithmetic over reals. This translation converts numerical information in symbolic logic. These symbols can be used to diagnose faults with Reiter’s diagnosis algorithm. We use a four-tank model as a demonstration use case. Under the assumption that the use-case is fully-observable (i.e. all components except the water tanks can be observed) our methodology detects all injected faults.

: http://publica.fraunhofer.de/dokumente/N-521357.html