A nonlinear hybrid life support system: Dynamic modeling, control design, and safety verificationSonja GlavaškiDharmashankar Subramanianet al.2007IEEE TCST