검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties Xue B, Franzle M, Zhan NJ IEEE Transactions on Automatic Control, 65(4), 1468, 2020 |
| 2 |
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis Xue B, Easwaran A, Cho NJ, Franzle M IEEE Transactions on Automatic Control, 62(7), 3518, 2017 |