Diagnosis of large active systems
From MaRDI portal
Publication:1606300
DOI10.1016/S0004-3702(99)00019-3zbMath0996.68209WikidataQ57499595 ScholiaQ57499595MaRDI QIDQ1606300
Marina Zanella, Pietro Baroni, Gianfranco Lamperti, P. Pogliano
Publication date: 24 July 2002
Published in: Artificial Intelligence (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68T99: Artificial intelligence
Related Items
Diagnosis from scenarios, Distributed fault detection and isolation of continuous-time non-linear systems, On-line monitoring of large Petri net models under partial observation, 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, Diagnosis of behaviors of interest in partially-observed discrete-event systems, Diagnosis of discrete-event systems from uncertain temporal observations, A discrete-event model of asynchronous quantised systems, Distributed monitoring of concurrent and asynchronous systems, Process algebras for systems diagnosis., 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, Trellis processes: a compact representation for runs of concurrent systems, Partial order techniques for distributed discrete event systems: why you cannot avoid using them, A distributed approach for fault detection and diagnosis based on time Petri nets