相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Codiagnosability and coobservability under dynamic observations: Transformation and verification
Xiang Yin et al.
AUTOMATICA (2015)
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
Felipe Gomes Cabral et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2015)
Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Takashi Yamamoto et al.
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2015)
Online Synthesis of Conjunctive Decentralized Diagnosers for Discrete Event Systems
Takashi Yamamoto et al.
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2015)
Diagnosis of discrete event systems using decentralized architectures (vol 17, pg 233, 2007)
Yin Wang et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2015)
Reliable Decentralized Diagnosis of Discrete Event Systems Using the Conjunctive Architecture
Takashi Yamamoto et al.
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES (2014)
The Complexity of Codiagnosability for Discrete Event and Timed Systems
Franck Cassez
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
Shigemasa Takai et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
On Codiagnosability and Coobservability With Dynamic Observations
Weilin Wang et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2011)
Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
Marcos V. Moreira et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2011)
Optimal sensor activation for diagnosing discrete event systems
Weilin Wang et al.
AUTOMATICA (2010)
Abstraction-based verification of codiagnosability for discrete event systems
K. Schmidt
AUTOMATICA (2010)
Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures
Wenbin Qiu et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2009)
Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Diagnosis of Discrete-Event Systems
Ratnesh Kumar et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2009)
Distributed diagnosis under bounded-delay communication of immediately forwarded local observations
Wenbin Qiu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2008)
Diagnosis of behaviors of interest in partially-observed discrete-event systems
Tae-Sic Yoo et al.
SYSTEMS & CONTROL LETTERS (2008)
Inference-based ambiguity management in decentralized decision-making: Decentralized control of discrete event systems
Ratnesh Kumar et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)
Knowledge is a terrible thing to waste: Using inference in discrete-event control problems
S. L. Ricker et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2007)
Diagnosis of discrete event systems using decentralized architectures
Yin Wang et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)
Decentralized failure diagnosis of discrete event systems
WB Qiu et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2006)
Global and local consistencies in distributed fault diagnosis for discrete-event systems
R Su et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2005)
Decentralized supervisory control with conditional decisions: Supervisor realization
TS Yoo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2005)
Decentralized supervisory control with conditional decisions: Supervisor existence
TS Yoo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2004)
Polynomial-time verification of diagnosability of partially observed discrete-event systems
TS Yoo et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2002)
A polynomial algorithm for testing diagnosability of discrete-event systems
SB Jiang et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2001)