Polynomial time verification of decentralized diagnosability of discrete event systems (original) (raw)
Related papers
Decentralized Failure Diagnosis of Discrete Event Systems
IEEE Transactions on Systems, Man, and Cybernetics, 2006
New results on decentralized diagnosis of discrete-event systems
2004
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Discrete Event Dynamic Systems, 2007
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
2008
A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems
IEEE Transactions on Automatic Control, 2000
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings., 2002
Decentralized modular diagnosis of concurrent discrete event systems
2008 9th International Workshop on Discrete Event Systems, 2008
Unconditional decentralized structure for the fault diagnosis of discrete event systems
1st IFAC Workshop on Dependable Control of Discrete Systems (2007), 2007
Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures
IEEE Transactions on Automation Science and Engineering, 2009
Decentralized diagnosability analysis of discrete event systems using Petri nets
2011
Diagnosability Analysis for Self-observed Distributed Discrete Event Systems
2013
Checking Diagnosability on Centralized Model of the System
2019 International Conference on Control, Automation and Diagnosis (ICCAD), 2019
Polynomial Time Verification of Modular Diagnosability of Discrete Event Systems
IFAC-PapersOnLine, 2017
A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, 2012
Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems
2013
Diagnosability Analysis of Discrete Event Systems with Autonomous Components
European Conference on Artificial Intelligence, 2010
Decentralized diagnosis and diagnosability by model checking
ArXiv, 2020
Decentralized diagnosis of discrete-event systems using labeled petri nets
2013
Global and local consistencies in distributed fault diagnosis for discrete-event systems
IEEE Transactions on Automatic Control, 2000
An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems
2009 21st IEEE International Conference on Tools with Artificial Intelligence, 2009
IFAC Proceedings Volumes, 2014
An algorithm of linear complexity for the diagnosis of discrete event systems
IFAC Proceedings Volumes, 2013
Robust diagnosis of discrete-event systems against permanent loss of observations
Automatica, 2013
Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency
Discrete Event Dynamic Systems, 2006
Robust codiagnosability of discrete event systems
American Control Conference, 2009
Diagnosis of a class of distributed discrete-event systems
IEEE Transactions on Systems, Man, and Cybernetics, 2000
2015
On the effect of communication delays in failure diagnosis of decentralized discrete event systems
2003
Design of Low Interaction Distributed Diagnosers for Discrete Event Systems
2007
Diagnosis of repeated/intermittent failures in discrete event systems
IEEE Transactions on Robotics and Automation, 2003