Abstract: In this article, fault detectability of Boolean control networks (BCNs) is analyzed via a labeled graph approach. First, matrix-based representations of nonfault BCNs and fault BCNs are ...

Abstract: Boolean resubstitution is a widely recognized and utilized optimization algorithm for logic networks. In this paper, we present an enhancement to the traditional resubstitution approach by ...