DROPS

Document

DOI: 10.4230/OASIcs.DX.2024.9

Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory

Authors: Alexander Diedrich, René Heesch, Marco Bozzano, Björn Ludwig, Alessandro Cimatti, and Oliver Niggemann

Published in: OASIcs, Volume 125, 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)

Abstract

Industrial fault diagnosis exhibits the perennial problem of reasoning with partial and real-valued information. This is mainly due to the fact that in real-world applications, industrial systems are only instrumented insofar, as sensor information is required for their functioning. However, such instrumentation leaves out much information that would be useful for fault diagnosis. This is problematic since consistency-based fault diagnosis uses available information and computes intermediate values within a system description. These values are then used to compare expected normal behaviour to actual observed values. In the past, this was done only for Boolean circuits. Recently, satisfiability modulo non-linear arithmetic (SMT) formulations have been developed that allow the calculation of real values, instead of only Boolean ones. Leveraging those formulations, we in this article present a novel method to infer missing sensor values using an SMT system description and the notion of critical pairs. We show on a running example and also empirically that we can infer novel measurements for five process industrial systems. We conclude that, although SMT calculations accumulate some error, we can infer novel optimal measurements for all systems.

Cite as

Alexander Diedrich, René Heesch, Marco Bozzano, Björn Ludwig, Alessandro Cimatti, and Oliver Niggemann. Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory. In 35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024). Open Access Series in Informatics (OASIcs), Volume 125, pp. 9:1-9:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{diedrich_et_al:OASIcs.DX.2024.9,
  author =	{Diedrich, Alexander and Heesch, Ren\'{e} and Bozzano, Marco and Ludwig, Bj\"{o}rn and Cimatti, Alessandro and Niggemann, Oliver},
  title =	{{Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory}},
  booktitle =	{35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024)},
  pages =	{9:1--9:19},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-356-0},
  ISSN =	{2190-6807},
  year =	{2024},
  volume =	{125},
  editor =	{Pill, Ingo and Natan, Avraham and Wotawa, Franz},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.DX.2024.9},
  URN =		{urn:nbn:de:0030-drops-221013},
  doi =		{10.4230/OASIcs.DX.2024.9},
  annote =	{Keywords: Sensor Placement, Satisfiability Modulo Theory, Critical Pairs, Diagnosability}
}

Search Results

Documents authored by Ludwig, Björn

Inferring Sensor Placement Using Critical Pairs and Satisfiability Modulo Theory

Abstract

Cite as

Thanks for your feedback!

Could not send message