科学研究
学术报告
当前位置: 学院主页 > 科学研究 > 学术报告 > 正文

基于可达集上下近似的混成系统安全性验证研究

发布时间:2024-01-04 作者: 浏览次数:
Speaker: 佘志坤 DateTime: 2024年1月8日(周一)下午16:00-17:00
Brief Introduction to Speaker:

佘志坤,男,1977年出生。北京航空航天大学教授、博士生导师,2007年度北京市优秀人才,2007年度北京航空航天大学蓝天新秀,2008年度北京市科技新星,2013年度教育部新世纪优秀人才。<br>1995年9月到2005年6月,就读于北京大学数学科学学院,获理学学士和博士学位(硕博连读);2004年1月到2006年12月,工作于德国马普计算机科学研究所。2006年12月迄今,工作于北京航空航天大学数学与系统科学学院。<br>在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、Journal of Symbolic Computation、Celestial Mechanics and Dynamical Astronomy等领域国际顶级刊物和C**、ISSAC、HSCC等领域国际顶级会议上发表学术论文30余篇。研究成果被来自于Stanford University、Carnegie Mellon University、University of California at Berkeley、University of Cambridge、University of Oxford、ETH Zurich、RWTH Aachen、早稻田大学、清华大学、CNRS、INRIA、MPII、中国科学院软件所等国内外著名机构的学者引用200余次,特别地,美国工程院院士Alberto L. Sangiovanni-Vincentelli、美国工程院院士、欧洲科学院院士Moshe Y. Vardi、欧洲科学院院士Marta Kwiatkowska、清华大学孙家广院士、斯坦福大学Prof. Zohre Manna、IEEE会士、ACM会士Prof. John A. Stankovic、IEEE会士Prof. Bud Mishra、IEEE会士Prof. Insup Lee、IEEE会士Prof. John Lygeros等给予了积极的正面评价,诸如“明显优势”、“极大改进”、“灵感之源”等等。

Place: 6号楼2号报告厅
Abstract:信息-物理系统(CPS)是一类将计算与物理过程相结合的安全攸关系统,是多学科交叉融合的产物。混成系统作为一类将离散事件系统和微分方程相结合的动力系统,被认为是研究信息-物理系统的一个非常有效的数学模型。由于混成系统安全性验证是一不可判定问题,本报告将主要围绕动力系统可达集的上下近似展开:首先,引入演化函数并借助李导数给出它的泰勒级数展开;接着,基于部分和公式,提出两种计算可达集上下近似的方法并给予实现;最后,与几种最新方法的计算结果比较展示了我们方法的优越性。