A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification | IEEE Journals & Magazine | IEEE Xplore