![]() | ![]() |
2005 | ||
---|---|---|
2 | EE | Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur: Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. HSCC 2005: 306-321 |
2004 | ||
1 | EE | Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski: Control Design for a Hybrid Dynamic System: A NASA Life Support System. HSCC 2004: 570-584 |
1 | Ranjana Deshpande | [1] |
2 | Sonja Glavaski | [1] [2] |
3 | Nitin Lamba | [1] |
4 | Antonis Papachristodoulou | [2] |
5 | Dharmashankar Subramanian | [1] |