Technical Notes and Correspondence Reduced-Order Proper Controllers for Descriptor Systems: Existence Conditions and LMI-Based Design Algorithms