离散时间多项式动力系统的内逼近鲁棒到达无效集| IEEE期刊与杂志| IEEE Xplore