# 流管构造

随机混合系统的仿真此前只能处理离散的非确定性选择，一旦动作可在时间区间内任取，单个状态就有无穷多种选择。新方法把每个动作对应的时间区间分别离散化，用Q学习在有限抽象上学习调度，同时用预计算的符号可达状态引导仿真、按构造正确性剪掉不可达区域。在水箱基准上，仿真复现了已有方法给出的最大可达概率；在引入低概率下溢目标的水箱变体中，引导使学习明显快于无引导仿真，目标可达概率至少为45%。

随机混合系统的仿真此前只能处理离散的非确定性选择，一旦动作可在时间区间内任取，单个状态就有无穷多种选择。新方法把每个动作对应的时间区间分别离散化，用Q学习在有限抽象上学习调度，同时用预计算的符号可达状态引导仿真、按构造正确性剪掉不可达区域。在水箱基准上，仿真复现了已有方法给出的最大可达概率；在引入低概率下溢目标的水箱变体中，引导使学习明显快于无引导仿真，目标可达概率至少为45%。