Analysis and Design of Descriptor Linear Systems