검색결과 : 4건
| No. | Article |
|---|---|
| 1 |
Converse Barrier Certificate Theorems Wisniewski R, Sloth C IEEE Transactions on Automatic Control, 61(5), 1356, 2016 |
| 2 |
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems Wongpiromsarn T, Topcu U, Lamperski A IEEE Transactions on Automatic Control, 61(11), 3344, 2016 |
| 3 |
A framework for worst-case and stochastic safety verification using barrier certificates Prajna S, Jadbabaie A, Pappas GJ IEEE Transactions on Automatic Control, 52(8), 1415, 2007 |
| 4 |
Barrier certificates for nonlinear model validation Prajna S Automatica, 42(1), 117, 2006 |