Controlled hybrid system safety verification: Advanced life support system testbed
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 concentration...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
2005
|