On bi-proper mapping discretization of a regular descriptor system | IEEE Conference Publication | IEEE Xplore