当前位置: 首页  科学研究  学术活动

数学交叉科学研究所学术报告(殷翔副教授,上海交通大学)

来源:系统管理员 发布时间:2024-05-21

报告题目:基于时序逻辑的复杂信息物理系统分析与综合

报告人殷翔副教授,上海交通大学

报告时间:2024年5月23日(周四)15:00

报告地点腾讯会议:964 301 768

报告摘要:信息物理系统是同时具有物理层动力学特性与信息层逻辑特性的混杂系统,其任务规划与决策问题具有极高的复杂度。本报告将首先介绍基于时序逻辑规约的复杂CPS分析与综合整体问题框架,在此基础上具体介绍一种基于信号时序逻辑(Signal Temporal Logic, STL)的复杂CPS在线监控与任务规划方法,并通过移动机器人任务规划等典型案例对方法的高效性进行验证。

报告人简介:殷翔,上海交通大学长聘副教授,上海交通大学自动化系副主任、党总支副书记。2017年博士毕业于美国密歇根大学EECS系,主要研究方向为信息物理系统的控制、决策与博弈基础理论及其在无人系统中的应用。主持基金委国际合作重点项目、面上项目等项目多项,在系统控制领域顶级期刊IEEE TACAutomatica两刊发表论文四十余篇,曾获IEEE CDC最佳论文提名奖等荣誉。现任IEEE CSS 离散事件系统委员会主席等职务。

邀请人刘洋