scientific article; zbMATH DE number 67858

MaRDI QIDQ4013836zbMATH OpenFDO

Authors Gerhard Friedrich, Franz Lackinger

Publication date 27 September 1992

zbMATH Keywords

model-based diagnosistemporal diagnosis

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• scientific article; zbMATH DE number 4185071
• scientific article; zbMATH DE number 2111626
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• Temporally distributed symptoms in technical diagnosis
• scientific article; zbMATH DE number 125400
• Generating diagnostic information for behavioral preorders
• Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
• A spectrum of definitions for temporal model-based diagnosis

Cited in

(8)

• A spectrum of definitions for temporal model-based diagnosis
• Diagnosis of discrete-event systems from uncertain temporal observations
• Formalizing the repair process --- extended report
• A framework for controlling model-based diagnosis systems with multiple actions
• Theory diagnoses: A concise characterization of faulty systems
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• Diagnosing delays in multi-agent plans execution
• Process for diagnostic reasoning integrating uncertain and temporal information

This page was built for publication:

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