Rank of matrix pencils at infinity and its applications in descriptor systems | IEEE Conference Publication | IEEE Xplore