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...
| Những tác giả chính: | , , |
|---|---|
| Tác giả khác: | |
| Định dạng: | Conference item |
| Được phát hành: |
Springer
2005
|