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

DOI10.1016/J.AUTOMATICA.2012.01.021zbMATH Open1238.93029OpenAlexW2057351461MaRDI QIDQ417823FDOQ417823

Publication date: 14 May 2012

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2012.01.021

Recommendations

Fault detection in the circuit realization of a system of monotone Boolean functions
scientific article; zbMATH DE number 5009350
The Complexity of Fault Detection Problems for Combinational Logic Circuits
A semi-tensor product approach to pseudo-Boolean functions with application to Boolean control networks
A new calculation for Boolean derivative using Cheng product
On tests detecting certain faults of circuit inputs for almost all Boolean functions
Methods of calculating Boolean partial derivative based on \(d_j\)-map
An algorithm for calculating the high-order Boolean e-partial derivative of logic function
Fault Detection Analysis of Boolean Control Networks
scientific article; zbMATH DE number 4023201

semi-tensor product of matrices Boolean derivative fault detection of combinational circuits higher order Boolean derivative

Mathematics Subject Classification ID

Algebraic methods (93B25)

Cites Work

Disturbance Decoupling of Boolean Control Networks
A Linear Representation of Dynamics of Boolean Networks
Controllability and observability of Boolean control networks
Analysis and control of Boolean networks. A semi-tensor product approach.
Realization of Boolean control networks
An interpreter for the Boolean derivative
Title not available (Why is that?)
The Complexity of Fault Detection Problems for Combinational Logic Circuits
Boolean Differential Calculus and its Application to Switching Theory
Title not available (Why is that?)
On a Theory of Boolean Functions
Investigation of the global dynamics of cellular automata using Boolean derivatives

Cited In (29)

Simultaneous stabilization for a set of Boolean control networks
Optimal control algorithms for switched Boolean network
Reduced-order observer design for fault diagnosis of Boolean control networks
Title not available (Why is that?)
Optimal output tracking of switched Boolean networks
Semi-tensor product-based algebra-logic mixed representation and fault diagnosis for a class of gate networks
Consistent stabilizability of switched Boolean networks
Fault detection and pinning control of Boolean networks
Nonsingularity of feedback shift registers
Synchronization of coupled large-scale Boolean networks
A new calculation for Boolean derivative using Cheng product
Sampled-data controllability and stabilizability of Boolean control networks: nonuniform sampling
Controllability of context-sensitive probabilistic mix-valued logical control networks with constraints
Solving type-2 fuzzy relation equations via semi-tensor product of matrices
The \(\mathcal{L_C}\)-structure-preserving algorithms of quaternion \(LDL^H\) decomposition and Cholesky decomposition
Multivariable fuzzy control based mobile robot odor source localization via semitensor product
A Matrix Approach to the Analysis and Control of Networked Evolutionary Games with Bankruptcy Mechanism
Matrix expression and vaccination control for epidemic dynamics over dynamic networks
Passive-active fault detection of Boolean control networks
Complex systems with impulsive effects and logical dynamics: a brief overview
Model matching of switched asynchronous sequential machines via matrix approach
A matrix approach to hypergraph stable set and coloring problems with its application to storing problem
A semi-tensor product approach to networked evolutionary games
Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition
Controllability of higher order Boolean control networks
Event-triggered control for the stabilization of probabilistic Boolean control networks
Algebraic state space approach to model and control combined automata
Feedback control design for the complete synchronisation of two coupled Boolean networks
On the observability of free Boolean networks via the semi-tensor product method

This page was built for publication: Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q417823)