Semi-tensor product-based algebra-logic mixed representation and fault diagnosis for a class of gate networks

DOI10.1002/ASJC.3083MaRDI QIDQ6583202zbMATH OpenFDO

Authors Fengqiu Liu, Xun Shen, Sotiris Moschoyiannis, Yuhu Wu

Publication date 6 August 2024

Published in Asian Journal of Control (Search for Journal in Brave)

zbMATH Keywords

Boolean networksemi-tensor productfault diagnosisgate networkalgebra-logic mixed representation

Mathematics Subject Classification ID

Systems theory; control (93-XX)

Recommendations

• Fault detection and pinning control of Boolean networks
• Verification and implementation of network fault location rules based on solving logic equations
• scientific article; zbMATH DE number 5009350
• Fault detection and diagnostic tests for logic gates
• A method for constructing logic networks allowing short single diagnostic tests

Cites work

• scientific article; zbMATH DE number 54317 (Why is no real title available?)
• scientific article; zbMATH DE number 522438 (Why is no real title available?)
• scientific article; zbMATH DE number 557615 (Why is no real title available?)
• scientific article; zbMATH DE number 3353170 (Why is no real title available?)
• A comprehensive survey on STP approach to finite games
• Analysis and control of Boolean networks. A semi-tensor product approach.
• Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
• Controllability and observability of Boolean control networks
• Diagnosis of Automata Failures: A Calculus and a Method
• Fault Testing and Diagnosis in Combinational Digital Circuits
• Finite-time observability of probabilistic Boolean control networks
• Graph-Based Algorithms for Boolean Function Manipulation
• Matrix approach to I-detectability of partially observed discrete event systems
• Matrix expression of Owen values
• Observability of Boolean networks via matrix equations
• On a Theory of Boolean Functions
• Recent advances in optimization and game theoretic control for networked systems
• Sampled-data general partial synchronization of Boolean control networks
• Set stability and set stabilization of Boolean control networks based on invariant subsets
• State Estimation for Stochastic Time-Varying Boolean Networks
• The equivalence transformation between Galois NFSRs and Fibonacci NFSRs

This page was built for publication: Semi-tensor product-based algebra-logic mixed representation and fault diagnosis for a class of gate networks

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