Fault detection and localization using Modelica and abductive reasoning

DOI10.1007/978-3-319-74962-4_3MaRDI QIDQ5117248zbMATH OpenOpenAlexFDO

Authors 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) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Localizing Faults in Simulink/Stateflow Models with STL
• Model-based diagnosis of hardware designs
• The localization and correction of errors in models: a constraint-based approach
• scientific article; zbMATH DE number 1794384
• Diagnosis of hybrid systems using structural model decomposition

Cites work

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

Cited in

(1)

• Localizing Faults in Simulink/Stateflow Models with STL

Describes a project that uses

Uses Software

• Modelica
• AETG

This page was built for publication: Fault detection and localization using Modelica and abductive reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117248)