Distributed Analysis for Diagnosability in Concurrent Systems (original) (raw)
Related papers
An Optimized Algorithm for Diagnosability of Component-based Systems
IFAC Proceedings Volumes, 2010
Decentralized modular diagnosis of concurrent discrete event systems
2008 9th International Workshop on Discrete Event Systems, 2008
Self-healing in large-scale systems: parallel and distributed diagnostic architectures
2005
Lecture Notes in Computer Science, 2009
Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems
2013
On integrating error detection into a fault diagnosis algorithm for massively parallel computers
Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium, 1995
Distributed Diagnosability Analysis with Petri Nets
arXiv (Cornell University), 2015
Diagnosis and Communication in Distributed Systems
1998
Distributed Consistency-Based Diagnosis
Lecture Notes in Computer Science
Faster adaptive parallel diagnosis in the presence of intermittent faults (extended abstract)
Proceedings of 2010 IEEE International Symposium on Circuits and Systems, 2010
A generalized model for distributed comparison-based system-level diagnosis
Journal of the Brazilian Computer Society, 2005
Designing distributed diagnosers for complex continuous systems
2009
Decentralized Failure Diagnosis of Discrete Event Systems
IEEE Transactions on Systems, Man, and Cybernetics, 2006
Local diagnosis in massively parallel systems
Parallel Computing, 1997
An algorithm for computing the diagnoses with minimal cardinality in a distributed system
Engineering Applications of Artificial Intelligence, 2008
Global and local consistencies in distributed fault diagnosis for discrete-event systems
IEEE Transactions on Automatic Control, 2000
A Diagnosis Algorithm for Distributed Computing Systems with Dynamic Failure and Repair
IEEE Transactions on Computers, 1984
Distributed diagnosis in dynamic fault environments
IEEE Transactions on Parallel and Distributed Systems, 2004
Diagnosability Analysis for Self-observed Distributed Discrete Event Systems
2013
A trellis notion for distributed system diagnosis with sequential semantics
Automated monitor based diagnosis in distributed systems
ECE Technical Reports, 2005
Adaptive diagnosis in distributed systems
IEEE Transactions on Neural Networks, 2005
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
European Conference on Artificial Intelligence, 2010
A Coordinated Decentralized Protocol For Failure Diagnosis Of Discrete Event Systems
Coordinated decentralized protocols for failure diagnosis of discrete event systems
Discrete Event Dynamic Systems, 2000
Distributed Diagnosis for Large Discrete Event Dynamic Systems
IFAC Proceedings Volumes
Toward Distributed Diagnosis of Complex Physical Systems
Citeseer
An Approach to Post Mortem Diagnosability Analysis for Interacting Finite State Systems
Electronic Notes in Theoretical Computer Science, 2006
Designing distributed diagnosers for complex physical systems
2005
Effective Verification of Weak Diagnosability
8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, 2012