Title :
Fault Detection Analysis of Boolean Control Networks
Author :
Fornasini, Ettore ; Valcher, Maria Elena
Author_Institution :
Dipt. di Ing. dell´Inf., Univ. di Padova, Padua, Italy
Abstract :
In this technical note, we address the fault detection problem for Boolean control networks (BCNs). We first investigate completeness and T-completeness of the set of input/output trajectories. Next, we introduce the concept of meaningful fault, and prove necessary and sufficient conditions under which meaningful faults can be detected from the input/output trajectories of the BCN. Two fault detection algorithms are provided.
Keywords :
Boolean functions; fault diagnosis; BCN; Boolean control networks; T-completeness; fault detection analysis; input-output trajectories; Circuit faults; Equations; Fault detection; Genetics; Mathematical model; Trajectory; Vectors; Boolean control networks; T-completeness; completeness; fault detection; fault detection algorithm;
Journal_Title :
Automatic Control, IEEE Transactions on
DOI :
10.1109/TAC.2015.2396646
