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:
| File | Dimensione | Formato | |
|---|---|---|---|
|
07027171.pdf
Accesso riservato
Tipologia:
Published (Publisher's Version of Record)
Licenza:
Accesso privato - non pubblico
Dimensione
361.32 kB
Formato
Adobe PDF
|
361.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
