西南大学 · 软件工程硕士研究生

我研究如何为随机系统合成可达—规避控制器，并给出可验证的概率保证。

在随机扰动下，系统既要到达目标区域，也要在此之前避开危险区域。我的工作关注怎样合成满足这一要求的控制器，以及怎样用形式化方法确定这一要求至少以多大概率成立。

研究之外，我也把科研、学习和内容处理中反复出现的问题做成自己会长期使用的软件。