Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski. Control Design for a Hybrid Dynamic System: A NASA Life Support System. In Rajeev Alur, George J. Pappas, editors, Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Volume 2993 of Lecture Notes in Computer Science, pages 570-584, Springer, 2004. [doi]
Abstract is missing.