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 not available from this repository.
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 | ||||
|---|---|---|---|---|---|
| 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: |
| ||||
| Other Numbering System: |
| ||||
| Record Number: | CaltechAUTHORS:20110816-102522650 | ||||
| Persistent URL: | http://resolver.caltech.edu/CaltechAUTHORS:20110816-102522650 | ||||
| Related URLs: | |||||
| 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
