近日，国际决策与控制会议（IEEE Conference on Decision and Control, CDC）在墨西哥召开，会上宣布并颁发了本年度IEEE CSS TC最佳学生论文奖（IEEE Control Systems Society Technical Committee Outstanding Student Paper Prize）。上海交通大学电子信息与电气工程学院自动化系硕士研究生谢一帆的研究论文“Secure-by-Construction Controller Synthesis for Stochastic Systems Under Linear Temporal Logic Specifications”（面向线性时序逻辑任务的随机系统构造性安全控制设计方法）获此殊荣，通讯作者为其研究生期间指导老师殷翔副教授。

IEEE CSS TC最佳学生论文奖

IEEE CDC是决策与控制领域公认的国际顶级会议，每年收稿近2000篇。IEEE CSS TC最佳学生论文奖是IEEE控制系统协会于2021年新设立奖项，旨在表彰青年学者在系统控制领域的杰出研究成果，该奖项由CSS各下属TC从上一年度在IEEE CDC上发表的论文中进行评选，竞争十分激烈。本年度全球共有8名学生成功入选，谢一帆同学也是该奖项自设立以来国内高校及科研机构首位获得该奖项的研究人员，系统控制领域知名期刊《IEEE Control Systems Magazine》也在12月刊对此进行了专门报道。

《IEEE Control Systems Magazine》相关报道

论文简介

获奖论文研究了信息安全约束下的复杂任务决策与规划问题，以马尔可夫决策过程对随机信息物理系统的行为进行建模，通过采用不透明性的概念描述安全约束，提出了一种信息安全约束下线性时序逻辑规范的最优控制策略综合方法。所提出的算法能够在保证系统信息安全的基础上，最大限度地实现复杂线性时序逻辑任务的满足程度，并将所提出的算法应用于机器人复杂任务决策规划问题中，极大提高了该类系统任务决策过程中的安全性。

论文作者

论文第一作者 谢一帆

论文通讯作者 殷翔副教授

论文第一作者谢一帆于2022年3月硕士毕业于上海交通大学电子信息与电气工程学院自动化系，曾获研究生国家奖学金，现为德国斯图加特大学博士生，师从IFAC主席Frank Allgöwer教授。该论文是谢一帆硕士期间完成并发表的工作，上海交通大学自动化系为本论文的第一与通讯单位。该论文同时也受到国家自然科学基金委国际合作项目（中德）的资助，与慕尼黑大学Majid Zamani教授课题组共同合作完成。

论文链接：

https://ieeexplore.ieee.org/document/9683745