Fault Detection and Localization Using Modelica and Abductive Reasoning

DOI10.1007/978-3-319-74962-4_3zbMath1455.68227OpenAlexW2792285275MaRDI QIDQ5117248

Ingo Pill, Franz Wotawa

Publication date: 20 August 2020

Published in: Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74962-4_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Uses Software

• Modelica
• AETG

Cites Work

• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Task-dependent qualitative domain abstraction

This page was built for publication: Fault Detection and Localization Using Modelica and Abductive Reasoning