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...
| Автори: | , , , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
2005
|