On the formal characterization of reduced-order flat outputs over an ore algebra | IEEE Conference Publication | IEEE Xplore