Title of article :
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
Author/Authors :
S. Prajna، نويسنده , , A. Jadbabaie، نويسنده , , and G. J. Pappas، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2007
Keywords :
barrier certificates , Hybrid systems , Nonlinearsystems , safety verification , Stochastic systems , sum of squaresoptimization.
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
