Showing 1 - 3 results of 3 for search 'Ariyur, K', query time: 0.02s
Refine Results
-
1
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. by Glavaski, S, Papachristodoulou, A, Ariyur, K
Published 2005Conference item -
2
Controlled hybrid system safety verification: Advanced life support system testbed by Glavaski, S, Papachristodoulou, A, Ariyur, K, IEEE
Published 2005Conference item -
3
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
Published 2007Journal article