我现在主要做 随机系统中的 reach-avoid 控制

先把问题写清楚

针对随机动力系统，给定初始集、目标集、危险集和概率要求，研究 infinite-horizon 的 reach-avoid 控制问题。

再把策略变成可求证形式

先用 SAC 学出参考控制器，再用 PAC 近似得到多项式控制器，让后续的证书求解和 SOS 优化真正可落地。

最后输出概率下界与迭代方向

除了最终的 reach-avoid 概率下界，我也会同时看求解时间、控制器次数、证书次数和后续还该往哪里继续迭代。

主页只保留研究概览

• 这里现在只保留你在做什么、想解决什么问题，以及主要方法链的文字概览。
• 更详细的技术材料已经移到研究页与简历页，首页不再直接展开。
• 这样首页会更轻，更适合作为对外入口；真正需要看细节的人，再继续进入研究页查看。

继续往哪里看

• 研究方向：看完整问题设定、方法流程、论文和实验结果。
• 个人档案：看学习经历、奖项、证明照片和成长轨迹。
• 项目展示：看开源仓库、项目背景、获奖图片和工程实践。