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
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.|
|Other Numbering System:|
|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.|
|Deposited By:||Tony Diaz|
|Deposited On:||17 Aug 2011 23:24|
|Last Modified:||17 Aug 2011 23:24|
Repository Staff Only: item control page