Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
From MaRDI portal
Publication:417823
DOI10.1016/j.automatica.2012.01.021zbMath1238.93029OpenAlexW2057351461MaRDI QIDQ417823
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
semi-tensor product of matricesBoolean derivativefault detection of combinational circuitshigher order Boolean derivative
Related Items (25)
Event-triggered control for the stabilization of probabilistic Boolean control networks ⋮ Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition ⋮ Sampled-data controllability and stabilizability of Boolean control networks: nonuniform sampling ⋮ Multivariable fuzzy control based mobile robot odor source localization via semitensor product ⋮ Passive-active fault detection of Boolean control networks ⋮ Fault detection and pinning control of Boolean networks ⋮ Synchronization of coupled large-scale Boolean networks ⋮ Nonsingularity of feedback shift registers ⋮ The \(\mathcal{L_C}\)-structure-preserving algorithms of quaternion \(LDL^H\) decomposition and Cholesky decomposition ⋮ Simultaneous stabilization for a set of Boolean control networks ⋮ Algebraic state space approach to model and control combined automata ⋮ Consistent stabilizability of switched Boolean networks ⋮ Controllability of higher order Boolean control networks ⋮ Optimal control algorithms for switched Boolean network ⋮ Controllability of Context-Sensitive Probabilistic Mix-Valued Logical Control Networks with Constraints ⋮ Model matching of switched asynchronous sequential machines via matrix approach ⋮ Complex systems with impulsive effects and logical dynamics: a brief overview ⋮ Matrix expression and vaccination control for epidemic dynamics over dynamic networks ⋮ Feedback control design for the complete synchronisation of two coupled Boolean networks ⋮ Solving type-2 fuzzy relation equations via semi-tensor product of matrices ⋮ Semi-tensor product approach to networked evolutionary games ⋮ A matrix approach to hypergraph stable set and coloring problems with its application to storing problem ⋮ Reduced-order observer design for fault diagnosis of Boolean control networks ⋮ On the observability of free Boolean networks via the semi-tensor product method ⋮ A Matrix Approach to the Analysis and Control of Networked Evolutionary Games with Bankruptcy Mechanism
Cites Work
- Controllability and observability of Boolean control networks
- Investigation of the global dynamics of cellular automata using Boolean derivatives
- Realization of Boolean control networks
- Analysis and control of Boolean networks. A semi-tensor product approach.
- An interpreter for the Boolean derivative
- The Complexity of Fault Detection Problems for Combinational Logic Circuits
- Boolean Differential Calculus and its Application to Switching Theory
- A Linear Representation of Dynamics of Boolean Networks
- Disturbance Decoupling of Boolean Control Networks
- On a Theory of Boolean Functions
- Unnamed Item
- Unnamed Item
This page was built for publication: Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
