Fault Detection of Boolean Control Networks via Reduced Systems

In this paper, we delve into the fault detectability of Boolean control networks (BCNs). Initially, through the analysis of a non-faulty model and a faulty of BCNs, we explore four distinct scenarios of active fault detectability (AFD). Subsequently, relying on an auxiliary system, we examine four types of AFD through a refined system designed to further minimize computational burdens. With the refined system, the more efficient criteria for corresponding AFD are derived. In addition, an algorithm is introduced specifically to check output-feedback AFD and design output feedback controller. To culminate, we present one illustrative example, underscoring the potency of our findings.