Controlled hybrid system safety verification: Advanced life support system testbed
In this paper we demonstrate the use of Barrier Certificates as a method to verify safe performance of a hybrid Variable Configuration CO 2 Removal (VCCR) system. We designed a simple nonlinear feedback controller that tracks a desired CO 2 profile, while ensuring that the CO 2 and O 2 concentration...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2005
|
| _version_ | 1797061647722872832 |
|---|---|
| author | Glavaski, S Papachristodoulou, A Ariyur, K IEEE |
| author_facet | Glavaski, S Papachristodoulou, A Ariyur, K IEEE |
| author_sort | Glavaski, S |
| collection | OXFORD |
| description | In this paper we demonstrate the use of Barrier Certificates as a method to verify safe performance of a hybrid Variable Configuration CO 2 Removal (VCCR) system. We designed a simple nonlinear feedback controller that tracks a desired CO 2 profile, while ensuring that the CO 2 and O 2 concentrations stay within acceptable limits. Though the controller and its switching rules are simple, we do not have a closed form expression for the equilibrium sets of the closed loop hybrid system, and hence Lyapunov stability analysis and computation of region of attraction are impossible. We used Sum-Of-Squares programming approach to construct and verify that our control law provides safe functionality of VCCR system. ©2005 AACC. |
| first_indexed | 2024-03-06T20:34:13Z |
| format | Conference item |
| id | oxford-uuid:3213f188-7c5e-443d-80b5-b18211697f1a |
| institution | University of Oxford |
| last_indexed | 2024-03-06T20:34:13Z |
| publishDate | 2005 |
| record_format | dspace |
| spelling | oxford-uuid:3213f188-7c5e-443d-80b5-b18211697f1a2022-03-26T13:11:49ZControlled hybrid system safety verification: Advanced life support system testbedConference itemhttp://purl.org/coar/resource_type/c_5794uuid:3213f188-7c5e-443d-80b5-b18211697f1aSymplectic Elements at Oxford2005Glavaski, SPapachristodoulou, AAriyur, KIEEEIn this paper we demonstrate the use of Barrier Certificates as a method to verify safe performance of a hybrid Variable Configuration CO 2 Removal (VCCR) system. We designed a simple nonlinear feedback controller that tracks a desired CO 2 profile, while ensuring that the CO 2 and O 2 concentrations stay within acceptable limits. Though the controller and its switching rules are simple, we do not have a closed form expression for the equilibrium sets of the closed loop hybrid system, and hence Lyapunov stability analysis and computation of region of attraction are impossible. We used Sum-Of-Squares programming approach to construct and verify that our control law provides safe functionality of VCCR system. ©2005 AACC. |
| spellingShingle | Glavaski, S Papachristodoulou, A Ariyur, K IEEE Controlled hybrid system safety verification: Advanced life support system testbed |
| title | Controlled hybrid system safety verification: Advanced life support system testbed |
| title_full | Controlled hybrid system safety verification: Advanced life support system testbed |
| title_fullStr | Controlled hybrid system safety verification: Advanced life support system testbed |
| title_full_unstemmed | Controlled hybrid system safety verification: Advanced life support system testbed |
| title_short | Controlled hybrid system safety verification: Advanced life support system testbed |
| title_sort | controlled hybrid system safety verification advanced life support system testbed |
| work_keys_str_mv | AT glavaskis controlledhybridsystemsafetyverificationadvancedlifesupportsystemtestbed AT papachristodouloua controlledhybridsystemsafetyverificationadvancedlifesupportsystemtestbed AT ariyurk controlledhybridsystemsafetyverificationadvancedlifesupportsystemtestbed AT ieee controlledhybridsystemsafetyverificationadvancedlifesupportsystemtestbed |