Diagnosis of discrete-event systems from uncertain temporal observations

DOI10.1016/S0004-3702(02)00123-6MaRDI QIDQ1605280zbMATH OpenOpenAlexFDO

Authors Gianfranco Lamperti, Marina Zanella

Publication date 15 July 2002

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(02)00123-6

zbMATH Keywords

communicating automatacomplex observationsdiagnosisdiscrete-event systemsobservation graphspower transmission networkstemporal observationsuncertain observations

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Diagnosability of discrete faults with uncertain observations
• Diagnosis of temporal faults in discrete-event systems
• Reactive diagnosis of active systems
• Robust diagnosis of discrete-event systems against permanent loss of observations

Cites work

• A relational model of data for large shared data banks
• A spectrum of definitions for temporal model-based diagnosis
• A theory of diagnosis from first principles
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Diagnosability of discrete-event systems
• Diagnosing multiple faults
• Diagnosis of large active systems
• scientific article; zbMATH DE number 67858 (Why is no real title available?)
• scientific article; zbMATH DE number 1390356 (Why is no real title available?)
• scientific article; zbMATH DE number 1444356 (Why is no real title available?)

Cited in

(17)

• Diagnosing time-varying misbehavior: An approach based on model decomposition
• Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• Reactive diagnosis of active systems
• Reasoning on partially-ordered observations in online diagnosis of DESs
• scientific article; zbMATH DE number 6531200 (Why is no real title available?)
• scientific article; zbMATH DE number 5775510 (Why is no real title available?)
• Diagnosis of temporal faults in discrete-event systems
• Diagnosability of discrete faults with uncertain observations
• On-line diagnosis of discrete event systems with two successive temporal windows
• Discrete-event systems fault diagnosis
• Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
• Fault diagnosis in discrete-event systems: incorporating timing information
• Distributed diagnosis of discrete-event systems under dynamic event observations
• Critical observations in model-based diagnosis
• Diagnosis of behaviors of interest in partially-observed discrete-event systems

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: Diagnosis of discrete-event systems from uncertain temporal observations

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