Further results on observability verification of Boolean control networks

This paper investigates observability of Boolean control networks (BCNs) and gives some novel criteria on observability. Firstly, the observability, the strong observability and the super-strong observability are discussed via the augmented approach. Based on the constructed logical control system, these three kinds of observability are converted into the consistent and any-input sequence reachability. Subsequently, the minimum steps to determine corresponding observability are discussed. Then, by constructing finite-time convergent matrix sequences, a non-augmented approach, which can determine observability via the limit matrix in the minimum steps if the system is with corresponding observability, is presented to testify three types of observability. Finally, examples are worked out to illustrate the obtained results.(c) 2023 Elsevier B.V. All rights reserved.