Finite-Time Observability of Boolean Networks With Markov Jump Parameters Under Mode-Dependent Pinning Control | IEEE Journals & Magazine | IEEE Xplore