Data networks
Automatica (Journal of IFAC)
Model-based reasoning: troubleshooting
Readings in model-based diagnosis
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Real Time Fault Monitoring of Industrial Processes
Real Time Fault Monitoring of Industrial Processes
Diagnosis of discrete-event systems from uncertain temporal observations
Artificial Intelligence
On an Optimization Problem in Sensor Selection
Discrete Event Dynamic Systems
A protocol for multi-agent diagnosis with spatially distributed knowledge
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Diagnosis of Intermittent Faults
Discrete Event Dynamic Systems
Distributed Monitoring of Concurrent and Asynchronous Systems*
Discrete Event Dynamic Systems
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Modular Fault Diagnosis Based on Discrete Event Systems
Discrete Event Dynamic Systems
Diagnosability of Discrete Event Systems with Modular Structure
Discrete Event Dynamic Systems
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems
A diagnostic environment for automaton networks
Software—Practice & Experience
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems
Trellis Processes: A Compact Representation for Runs of Concurrent Systems
Discrete Event Dynamic Systems
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Diagnosability Analysis of a Class of Hierarchical State Machines
Discrete Event Dynamic Systems
On the Minimization of Communication in Networked Systems with a Central Station
Discrete Event Dynamic Systems
Diagnosis of Plan Structure Violations
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
Models and methods for plan diagnosis
Autonomous Agents and Multi-Agent Systems
Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Chronicles for On-line Diagnosis of Distributed Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Robust codiagnosability of discrete event systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Brief paper: Abstraction-based verification of codiagnosability for discrete event systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
A Decentralised Symbolic Diagnosis Approach
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A comprehensive diagnosis methodology for complex hybrid systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Observer for an omnidirectional mobile robot
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
The complexity of codiagnosability for discrete event and timed systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Global state estimates for distributed systems
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
State estimation and fault detection using petri nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Diagnosis of plan execution and the executing agent
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Context-sensitive diagnosis of discrete-event systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On K-diagnosability of Petri nets via integer linear programming
Automatica (Journal of IFAC)
Robust diagnosis of discrete event systems against intermittent loss of observations
Automatica (Journal of IFAC)
Diagnosability of discrete event systems for temporary failures
Computers and Electrical Engineering
Robust diagnosis of discrete-event systems against permanent loss of observations
Automatica (Journal of IFAC)
Autonomous, failure-resilient orchestration of distributed discrete event simulations
Proceedings of the 2013 ACM Cloud and Autonomic Computing Conference
Comparative analysis of related notions of opacity in centralized and coordinated architectures
Discrete Event Dynamic Systems
An event-based distributed diagnosis framework using structural model decomposition
Artificial Intelligence
| Hi-index | 0.01 |
We address the problem of failure diagnosisin discrete event systems with decentralized information. Wepropose a coordinated decentralized architecture consisting oflocal sites communicating with a coordinator that is responsiblefor diagnosing the failures occurring in the system. We extendthe notion of diagnosability, originally introduced in Sampathet al. (1995) for centralized systems, to the proposed coordinateddecentralized architecture. We specify three protocols that realizethe proposed architecture; each protocol is defined by the diagnosticinformation generated at the local sites, the communication rulesused by the local sites, and the coordinator‘s decision rule.We analyze the diagnostic properties of each protocol. We alsostate and prove conditions for a language to be diagnosable undereach protocol. These conditions are checkable off-line. The on-linediagnostic process is carried out using the diagnosers introducedin Sampath et al. (1995) or a slight variation of these diagnosers.The key features of the proposed protocols are: (i) they achieve,each under a set of assumptions, the same diagnostic performanceas the centralized diagnoser; and (ii) they highlight the ’’performancevs. complexity‘‘ tradeoff that arises in coordinated decentralizedarchitectures. The correctness of two of the protocols relieson some stringent global ordering assumptions on message receptionat the coordinator‘s site, the relaxation of which is brieflydiscussed.