Coordinated decentralized protocols for failure diagnosis of discrete event systems
From MaRDI portal
Publication:1975198
DOI10.1023/A:1008335115538zbMath0959.93039MaRDI QIDQ1975198
Stéphane Lafortune, Demosthenis Teneketzis, Rami Debouk
Publication date: 26 April 2001
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Reliability, availability, maintenance, inspection in operations research (90B25) Discrete event control/observation systems (93C65)
Related Items (52)
Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks ⋮ \(K\)-loss robust codiagnosability of discrete-event systems ⋮ Detection and diagnosis of deviations in distributed systems of autonomous agents ⋮ Diagnosability of discrete event systems with modular structure ⋮ Hierarchical fault diagnosis for discrete-event systems under global consistency ⋮ Undecidable problems of decentralized observation and control on regular languages ⋮ Fault diagnosis in discrete time hybrid systems -- a case study ⋮ Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ Online minimization of sensor activation for supervisory control ⋮ Decentralized fault free model approach for fault detection and isolation of discrete event systems ⋮ Diagnosis of discrete event systems using decentralized architectures ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ Polynomial-time verification of diagnosability of fuzzy discrete event systems ⋮ Distributed diagnosis of discrete-event systems under dynamic event observations ⋮ Decentralized diagnosis of fuzzy discrete-event systems ⋮ On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming ⋮ Robust diagnosis of discrete event systems against intermittent loss of observations ⋮ Codiagnosability and coobservability under dynamic observations: transformation and verification ⋮ Arborescent architecture for decentralized diagnosis of discrete event systems ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ A new algorithm for testing diagnosability of fuzzy discrete event systems ⋮ Decentralized diagnosis based on Boolean discrete event models: application on manufacturing systems ⋮ A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks ⋮ An event-based distributed diagnosis framework using structural model decomposition ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Trellis processes: a compact representation for runs of concurrent systems ⋮ Partial order techniques for distributed discrete event systems: why you cannot avoid using them ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers ⋮ A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems ⋮ Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions ⋮ Failure diagnosis for distributed stochastic discrete event systems ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Periodic and non-concurrent error detection and identification in one-hot encoded FSMs ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ Distributed monitoring of concurrent and asynchronous systems ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ Fault detection for discrete event systems using Petri nets with unobservable transitions ⋮ Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels ⋮ Test-based diagnosis of faults in data exchange addressing in computer systems using parallel model ⋮ Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems ⋮ Discrete event system identification with the aim of fault detection ⋮ Diagnosability analysis of a class of hierarchical state machines ⋮ On the minimization of communication in networked systems with a central station ⋮ Diagnosis of Petri Nets ⋮ Diagnosability verification using LTL model checking ⋮ Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures ⋮ Modelling and hierarchical diagnosis of timed discrete-event systems ⋮ Robustly distributed diagnosis of discrete-event systems and its application to alipay transaction systems ⋮ Diagnosis of discrete-event systems from uncertain temporal observations ⋮ Modular fault diagnosis based on discrete event systems
This page was built for publication: Coordinated decentralized protocols for failure diagnosis of discrete event systems
