Analysis and design of descriptor linear systems.