Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates

2005 ◽  
pp. 306-321 ◽  
Author(s):  
Sonja Glavaski ◽  
Antonis Papachristodoulou ◽  
Kartik Ariyur
Keyword(s):  
Support System ◽  
Life Support ◽  
Advanced Life Support ◽  
Life Support System ◽  
Safety Verification

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification

2007 ◽  
Vol 15 (6) ◽  
pp. 1003-1017 ◽  
Author(s):  
Sonja Glavaski ◽  
Dharmashankar Subramanian ◽  
Kartik Ariyur ◽  
Ranjana Ghosh ◽  
Nitin Lamba ◽  
...  
Keyword(s):  
Dynamic Modeling ◽  
Support System ◽  
Life Support ◽  
Control Design ◽  
System Dynamic ◽  
Life Support System ◽  
Safety Verification ◽  
Nonlinear Hybrid
Sign in / Sign up

Export Citation Format

Share Document