通过半定规划分析和验证非自治离散时间开关系统的输入-状态稳定性| IEEE期刊和杂志| IEEE Xplore