CaltechAUTHORS
  A Caltech Library Service

Controlled hybrid system safety verification: advanced life support system testbed

Glavaški, Sonja and Papachristodoulou, Antonis and Ariyur, Kartik (2005) Controlled hybrid system safety verification: advanced life support system testbed. In: Proceedings of the 2005 American Control Conference. Proceedings of the American Control Conference. IEEE , Piscataway, NJ, pp. 2703-2704. ISBN 0-7803-9098-9 http://resolver.caltech.edu/CaltechAUTHORS:20110816-102522650

Full text is not posted in this repository. Consult Related URLs below.

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechAUTHORS:20110816-102522650

Abstract

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.


Item Type:Book Section
Related URLs:
URLURL TypeDescription
http://dx.doi.org/10.1109/ACC.2005.1470376 DOIUNSPECIFIED
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1470376PublisherUNSPECIFIED
Additional Information:© 2005 AACC. Issue Date: 8-10 June 2005. Date of Current Version: 01 August 2005. This material is based upon work supported by NASA Ames Research Center under Contract No. NAS2-01067.
Funders:
Funding AgencyGrant Number
NASA Ames Research Center NAS2-01067
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number8633801
Record Number:CaltechAUTHORS:20110816-102522650
Persistent URL:http://resolver.caltech.edu/CaltechAUTHORS:20110816-102522650
Official Citation:Glavaski, S.; Papachristodoulou, A.; Ariyur, K.; , "Controlled hybrid system safety verification: advanced life support system testbed," American Control Conference, 2005. Proceedings of the 2005 , vol., no., pp. 2703- 2704 vol. 4, 8-10 June 2005 doi: 10.1109/ACC.2005.1470376 URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1470376&isnumber=31519
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:24881
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:17 Aug 2011 23:24
Last Modified:17 Aug 2011 23:24

Repository Staff Only: item control page