화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.61, No.9, 2341-2356, 2016
A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems