A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. by Glavaski, S, Subramanian, D, Ariyur, K, Ghosh, R, Lamba, N, Papachristodoulou, A