Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method

Automatica

Volumn 48, Issue 4, 2012, Pages 688-693

  Li, Haitao ^a   Wang, Yuzhen ^a  

^a SHANDONG UNIVERSITY   (China)

Author keywords

Boolean derivative; Fault detection of combinational circuits; Higher order Boolean derivative; Semi tensor product of matrices

Indexed keywords

DETECTION METHODS; HIGHER ORDER; ILLUSTRATIVE EXAMPLES; MULTIPLE FAULTS; NEW RESULTS; SEMI-TENSOR PRODUCT; SEMI-TENSOR PRODUCT OF MATRICES;

CONTROL SYSTEMS; ELECTRICAL ENGINEERING;

COMBINATORIAL CIRCUITS;

EID: 84862820169     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2012.01.021     Document Type: Article

References (24)

1. S.S. Agaian, K.A. Panetta, S.C. Nercessian, and E.E. Danahy Boolean derivatives with application to edge detection for imaging systems IEEE Transactions on Systems, Man, and Cybernetics, Part B 40 2 2010 371 382
2. S.B. Akers On a theory of Boolean functions Journal of the Society for Industrial and Applied Mathematics 7 4 1959 487 498
3. D. Bochmann Boolean differential calculus 1978 German Democratic Republic Karl Marx Stadt
4. M.L. Bushnell, and V.D. Agrawal Essentials of electronic testing for digital, memory, and mixed-signal VLSI circuits 2000 Springer
5. X. Chen, and J. Shen Modern digital theory 2001 Zhejiang University Press Hangzhou
6. D. Cheng State space analysis of Boolean networks IEEE Transactions on Neural Networks 21 4 2010 584 594
7. D. Cheng Disturbance decoupling of Boolean control networks IEEE Transactions on Automatic Control 56 1 2011 2 10
8. D. Cheng, Z. Li, and H. Qi Realization of Boolean control networks Automatica 46 1 2010 62 69
9. D. Cheng, and H. Qi Controllability and observability of Boolean control networks Automatica 45 7 2009 1659 1667
10. D. Cheng, and H. Qi A linear representation of dynamics of Boolean networks IEEE Transactions on Automatic Control 55 10 2010 2251 2258
11. D. Cheng, H. Qi, and Z. Li Analysis and control of Boolean networks: a semi-tensor product approach 2011 Springer London
12. K. Egiazarian, P. Kuosmanen, and J. Astola Boolean derivatives, weighted chow parameters, and selection probabilities of stack filters IEEE Transactions on Signal Processing 44 7 1996 1634 1641 (Pubitemid 126777984)
13. H. Fujiwara, and S. Toida The complexity of fault detection problems for combinational logic circuits IEEE Transactions on Computers C-31 6 1982 555 560 (Pubitemid 12525329)
14. Galey, J. M.; Norby, R. E.; & Roth, J. P. (1961). Techniques for the diagnosis of switching circuit failures. In Proc. second annual symp. on switching circuit theory and logical design (pp. 152160).
15. D. Gizopoulos Advances in electronic testing: challenges and methodologies 2006 Springer
16. Y. Lian, and X. Chen Tabular method of calculating Boolean difference and partial derivative of logical functions Journal of Zhejiang University (Science Edition) 33 4 2006 408 411
17. P.C. Pabitra, S. Sahoo, M. Chakraborty, S.K. Bhandari, and A. Pal Investigation of the global dynamics of cellular automata using Boolean derivatives Computers & Mathematics with Applications 57 8 2009 1337 1351
18. J.S. Reed A class of multiple error-correcting codes and the decoding scheme Transactions of the IRE Professional Group on Information Theory 4 3 1954 38 49
19. A. Thayse, and M. Davio Boolean differential calculus and its application to switching theory IEEE Transactions on Computers C-22 4 1973 409 420
20. Wang, C. Q.; & Wang, C. H. (2009). A method for logic circuit test generation based on Boolean partial derivative and BDD. In World congress on computer science and information engineering (pp. 499504).
21. S.Y. Yang Fault diagnosis and reliability design of digital system 2000 Tsinghua University Press Beijing
22. B. Yildiz, and S. Murat An interpreter for the Boolean derivative Applied Mathematics and Computation 129 1 2002 43 54 (Pubitemid 34292238)
23. D. Yu, and X. Chen New method testing the double fault of combinational circuits based on Boolean partial derivative Journal of Zhejiang University (Science Edition) 30 5 2003 536 538
24. D. Yu, J. Cheng, and X. Chen Graphic method calculating Boolean difference based on K-map Journal of Zhejiang University (Science Edition) 29 5 2002 506 511