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.
Fault Detection Analysis of Boolean Control Networks
FORNASINI, ETTORE;VALCHER, MARIA ELENA
2015
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
