Hautus-type conditions for controllability of implicit linear discrete-time systems revisited | IEEE Journals & Magazine | IEEE Xplore