Author Search Results :: UTM Library Massive Scholar Tracking

1

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. by Glavaski, S, Papachristodoulou, A, Ariyur, K

Published 2005

Conference item
2

Controlled hybrid system safety verification: Advanced life support system testbed by Glavaski, S, Papachristodoulou, A, Ariyur, K, IEEE

Published 2005

Conference item
3

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization by Krishnaswamy, K, Papageorgiou, G, Glavaski, S, Papachristodoulou, A

Published 2005

Journal article
4

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization by Krishnaswamy, K, Papageorgiou, G, Glavaski, S, Papachristodoulou, A, IEEE

Published 2005

Conference item
5

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization by Krishnaswamy, K, Papageorgiou, G, Glavaski, S, Papachristodoulou, A, IEEE

Published 2005

Conference item
6

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 2007

Journal article