共 30 条
[1]
ARNOLD A, 1987, MATH PROBLEMS COMPUT, P9
[3]
Diagnosis of a class of distributed discrete-event systems
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS,
2000, 30 (06)
:731-752
[4]
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[5]
Clarke EM, 1999, MODEL CHECKING, P1
[7]
Cordier M.O., 2000, P 4 S FAULT DET SUP, P286
[8]
Coordinated decentralized protocols for failure diagnosis of discrete event systems
[J].
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS,
2000, 10 (1-2)
:33-86
[9]
DOUSSON C, 1993, IJCAI-93, VOLS 1 AND 2, P166
[10]
FABRE E, 2002, P IFAC WORLD C BARC