随机离散时间动力系统的安全概率不变性验证| IEEE会议出版物| IEEE Xplore