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.

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

Use this Persistent URL to link to this item:


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:
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.
Funding AgencyGrant Number
NASA Ames Research CenterNAS2-01067
Other Numbering System:
Other Numbering System NameOther Numbering System ID
INSPEC Accession Number8633801
Series Name:Proceedings of the American Control Conference
Record Number:CaltechAUTHORS:20110816-102522650
Persistent URL:
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:
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:24881
Deposited By: Tony Diaz
Deposited On:17 Aug 2011 23:24
Last Modified:09 Nov 2021 16:27

Repository Staff Only: item control page