Diagnosis of discrete event systems using decentralized architectures
From MaRDI portal
Publication:884759
DOI10.1007/S10626-006-0006-8zbMath1115.93065OpenAlexW2088445166MaRDI QIDQ884759
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Publication date: 7 June 2007
Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10626-006-0006-8
Reliability, availability, maintenance, inspection in operations research (90B25) Decentralized systems (93A14) Discrete event control/observation systems (93C65)
Related Items (19)
Decentralised LTL monitoring ⋮ Decentralized fault free model approach for fault detection and isolation of discrete event systems ⋮ Decentralized diagnosis of discrete event systems subject to permanent sensor failures ⋮ 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 ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Unfolding-Based Diagnosis of Systems with an Evolving Topology ⋮ 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 ⋮ Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems ⋮ Computation of minimal event bases that ensure diagnosability ⋮ Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems ⋮ Distributed fault detection and isolation of continuous-time non-linear systems ⋮ Abstraction-based verification of codiagnosability for discrete event systems ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ Implementation of inference-based diagnosis: computing delay bound and ambiguity levels ⋮ Decentralized fault diagnosis approach without a global model for fault diagnosis of discrete event systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diagnosis of large active systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Distributed monitoring of concurrent and asynchronous systems
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
- Think globally, act locally: decentralized supervisory control
- Diagnosability of discrete-event systems
- Deciding co-observability is pspace-complete
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
- Diagnosing discrete-event systems: Extending the ``diagnoser approach to deal with telecommunication networks
This page was built for publication: Diagnosis of discrete event systems using decentralized architectures
