The Smith normal form and controllability of liner systems over F(z) | IEEE Conference Publication | IEEE Xplore