基于SMT的工业开关PI控制系统稳定性验证| IEEE会议出版物| IEEE Xplore