Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
In this paper we demonstrate how to construct barrier certificates for safety verification of nonlinear hybrid systems using sum of squares methodologies, with particular emphasis on the computational challenges of the technique when applied to an Advanced Life Support System. The controlled system...
| Main Authors: | , , |
|---|---|
| 其他作者: | |
| 格式: | Conference item |
| 出版: |
Springer
2005
|