随机系统时间逻辑控制的鲁棒动态规划| IEEE期刊和杂志| IEEE Xplore