A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
We present control design for a variable configuration CO2 removal (VCCR) system, which exhibits a hybrid dynamical character due to the various modes in which one needs to operate the system. The VCCR is part of an overall NASA Air Recovery System of an intended human life support system for space...
Main Authors: | , , , , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2007
|
_version_ | 1797074257034870784 |
---|---|
author | Glavaski, S Subramanian, D Ariyur, K Ghosh, R Lamba, N Papachristodoulou, A |
author_facet | Glavaski, S Subramanian, D Ariyur, K Ghosh, R Lamba, N Papachristodoulou, A |
author_sort | Glavaski, S |
collection | OXFORD |
description | We present control design for a variable configuration CO2 removal (VCCR) system, which exhibits a hybrid dynamical character due to the various modes in which one needs to operate the system. The VCCR is part of an overall NASA Air Recovery System of an intended human life support system for space exploration. The objective of the control system is to maintain CO2 and O2 concentrations in the crew cabin within safe bounds. We present a novel adaptation of the model predictive control technique to a nonlinear hybrid dynamic system. We exploit the problem structure and map the hybrid optimization problem into a continuous nonlinear program (NLP) with the aid of an appropriate representation of time and set definitions. We present a systematic approach for designing the objective function for the nonlinear model predictive control (NMPC) regulation problem that achieves a long-term, cyclic steady state. We also present a simple switching feedback controller and compare the performance of the two controllers during off-nominal and failure conditions to highlight the benefits of a systematically designed NMP controller. We then perform safety verification of both control designs-the model predictive control with techniques from statistical learning theory and the switching feedback controller with Barrier certificates computed using sum of squares programming. The two approaches yield consistent results. © 2007 IEEE. |
first_indexed | 2024-03-06T23:33:31Z |
format | Journal article |
id | oxford-uuid:6cdc42e1-5561-4edf-9231-9b449031f4ec |
institution | University of Oxford |
language | English |
last_indexed | 2024-03-06T23:33:31Z |
publishDate | 2007 |
record_format | dspace |
spelling | oxford-uuid:6cdc42e1-5561-4edf-9231-9b449031f4ec2022-03-26T19:13:56ZA Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6cdc42e1-5561-4edf-9231-9b449031f4ecEnglishSymplectic Elements at Oxford2007Glavaski, SSubramanian, DAriyur, KGhosh, RLamba, NPapachristodoulou, AWe present control design for a variable configuration CO2 removal (VCCR) system, which exhibits a hybrid dynamical character due to the various modes in which one needs to operate the system. The VCCR is part of an overall NASA Air Recovery System of an intended human life support system for space exploration. The objective of the control system is to maintain CO2 and O2 concentrations in the crew cabin within safe bounds. We present a novel adaptation of the model predictive control technique to a nonlinear hybrid dynamic system. We exploit the problem structure and map the hybrid optimization problem into a continuous nonlinear program (NLP) with the aid of an appropriate representation of time and set definitions. We present a systematic approach for designing the objective function for the nonlinear model predictive control (NMPC) regulation problem that achieves a long-term, cyclic steady state. We also present a simple switching feedback controller and compare the performance of the two controllers during off-nominal and failure conditions to highlight the benefits of a systematically designed NMP controller. We then perform safety verification of both control designs-the model predictive control with techniques from statistical learning theory and the switching feedback controller with Barrier certificates computed using sum of squares programming. The two approaches yield consistent results. © 2007 IEEE. |
spellingShingle | Glavaski, S Subramanian, D Ariyur, K Ghosh, R Lamba, N Papachristodoulou, A A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title | A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title_full | A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title_fullStr | A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title_full_unstemmed | A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title_short | A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. |
title_sort | nonlinear hybrid life support system dynamic modeling control design and safety verification |
work_keys_str_mv | AT glavaskis anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT subramaniand anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT ariyurk anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT ghoshr anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT lamban anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT papachristodouloua anonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT glavaskis nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT subramaniand nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT ariyurk nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT ghoshr nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT lamban nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification AT papachristodouloua nonlinearhybridlifesupportsystemdynamicmodelingcontroldesignandsafetyverification |