Published June 2005
| public
Book Section - Chapter
Controlled hybrid system safety verification: advanced life support system testbed
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.
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.Additional details
- Eprint ID
- 24881
- DOI
- 10.1109/ACC.2005.1470376
- Resolver ID
- CaltechAUTHORS:20110816-102522650
- NAS2-01067
- NASA Ames Research Center
- Created
-
2011-08-17Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field
- Series Name
- Proceedings of the American Control Conference
- Other Numbering System Name
- INSPEC Accession Number
- Other Numbering System Identifier
- 8633801