검색결과 : 2건
No. | Article |
---|---|
1 |
Converse Theorems for Safety and Barrier Certificates Ratschan S IEEE Transactions on Automatic Control, 63(8), 2628, 2018 |
2 |
Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems Chen M, Herbert SL, Vashishtha MS, Bansal S, Tomlin CJ IEEE Transactions on Automatic Control, 63(11), 3675, 2018 |