DocumentCode
3601252
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
Volume
60
Issue
10
fYear
2015
Firstpage
2734
Lastpage
2739
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;
fLanguage
English
Journal_Title
Automatic Control, IEEE Transactions on
Publisher
ieee
ISSN
0018-9286
Type
jour
DOI
10.1109/TAC.2015.2396646
Filename
7027171
Link To Document