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...
| প্রধান লেখক: | , , |
|---|---|
| অন্যান্য লেখক: | |
| বিন্যাস: | Conference item |
| প্রকাশিত: |
Springer
2005
|