Diagnosis of large active systems
From MaRDI portal
Publication:1606300
DOI10.1016/S0004-3702(99)00019-3zbMath0996.68209WikidataQ57499595 ScholiaQ57499595MaRDI QIDQ1606300
Gianfranco Lamperti, Marina Zanella, P. Pogliano, Pietro Baroni
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)
Related Items (21)
A discrete-event model of asynchronous quantised systems ⋮ Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays ⋮ Hierarchical fault diagnosis for discrete-event systems under global consistency ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Diagnosis from scenarios ⋮ 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 ⋮ Diagnosis of Deep Discrete-Event Systems ⋮ An event-based distributed diagnosis framework using structural model decomposition ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ Diagnosis of behaviors of interest in partially-observed discrete-event systems ⋮ Distributed fault detection and isolation of continuous-time non-linear systems ⋮ A distributed approach for fault detection and diagnosis based on time Petri nets ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems ⋮ On-line monitoring of large Petri net models under partial observation ⋮ Discrete-Event Systems Fault Diagnosis ⋮ Process algebras for systems diagnosis. ⋮ Diagnosis of discrete-event systems from uncertain temporal observations
This page was built for publication: Diagnosis of large active systems
