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
|