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

Authors:
Haitao Li;Yuzhen Wang
Affiliations:
-;-
Venue:
Automatica (Journal of IFAC)
Year:
2012

Citing 11
Cited 3

An interpreter for the boolean derivative

Applied Mathematics and Computation
Boolean Differential Calculus and its Application to Switching Theory

IEEE Transactions on Computers
The Complexity of Fault Detection Problems for Combinational Logic Circuits

IEEE Transactions on Computers
Investigation of the global dynamics of cellular automata using Boolean derivatives

Computers & Mathematics with Applications
Controllability and observability of Boolean control networks

Automatica (Journal of IFAC)
A Method for Logic Circuit Test Generation Based on Boolean Partial Derivative and BDD

CSIE '09 Proceedings of the 2009 WRI World Congress on Computer Science and Information Engineering - Volume 03
Techniques for the diagnosis of switching circuit failures

FOCS '61 Proceedings of the 2nd Annual Symposium on Switching Circuit Theory and Logical Design (SWCT 1961)
Realization of Boolean control networks

Automatica (Journal of IFAC)
Boolean derivatives with application to edge detection for imaging systems

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
State-space analysis of Boolean networks

IEEE Transactions on Neural Networks
Boolean derivatives, weighted Chow parameters, and selectionprobabilities of stack filters

IEEE Transactions on Signal Processing

Controller design for disturbance decoupling of Boolean control networks

Automatica (Journal of IFAC)
Neural networks letter: Consistent stabilizability of switched Boolean networks

Neural Networks
Letters: Global stability at a limit cycle of switched Boolean networks under arbitrary switching signals

Neurocomputing

Quantified Score

Hi-index	22.15

Visualization

Abstract

Using the semi-tensor product method, this paper investigates the Boolean derivative calculation with application to fault detection of combinational circuits, and presents a number of new results. First, a new set of formulas is obtained to calculate the Boolean derivative by the semi-tensor product method. Then, the obtained new results are applied to detecting the multiple faults of combinational circuits, and a new detection method is proposed. Finally, two illustrative examples are studied by using the results obtained in this paper. The study of illustrative examples shows that the new detection method can be used for detection of more than two faults effectively.