Abstract
This paper investigates the off-line fault detectability of logical control networks (LCNs) by the method of semi-tensor product. Firstly, two concepts of off-line fault detectability, that is, weak off-line fault detectability and strong off-line detectability, are presented. Secondly, based on a recursive algorithm, the verification matrix for off-line fault detection is proposed to verify the off-line detectability of LCNs. Thirdly, necessary and sufficient conditions are presented to analyse the off-line fault detectability of LCNs. Finally, two illustrative examples show the effectiveness of the obtained new results.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have