Diagnosis of discrete-event systems from uncertain temporal observations

DOI10.1016/S0004-3702(02)00123-6zbMATH Open0995.68103OpenAlexW2072071365MaRDI QIDQ1605280FDOQ1605280

Marina Zanella, Gianfranco Lamperti

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

discrete-event systemsdiagnosisobservation graphsuncertain observationscommunicating automatapower transmission networkscomplex observationstemporal observations

Mathematics Subject Classification ID

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

Cites Work

• A relational model of data for large shared data banks
• Diagnosing multiple faults
• A theory of diagnosis from first principles
• Diagnosability of discrete-event systems
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Diagnosis of large active systems
• A spectrum of definitions for temporal model-based diagnosis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Diagnosability of Discrete Faults with Uncertain Observations
• Title not available (Why is that?)
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
• Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques
• Diagnosing time-varying misbehavior: An approach based on model decomposition
• Fault diagnosis in discrete-event systems: incorporating timing information
• Title not available (Why is that?)
• Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
• Discrete-Event Systems Fault Diagnosis
• Diagnosis of behaviors of interest in partially-observed discrete-event systems

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)