控制器不存在:p-ltl3-2