A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. - Sonja Glavaski; Dharmashankar Subramanian; Kartik B. Ariyur; Ranjana Ghosh; Nitin Lamba; Antonis Papachristodoulou (IEEE Trans. Control. Syst. Technol., 2007)