Academic Reports (On Friday)——混成系统可达集近似计算
主 题: Academic Reports (On Friday)——混成系统可达集近似计算
报告人: Zhikun She (Beihang University)
时 间: 2017-11-17 15:00-16:00
地 点: Room 1114, Sciences Building No. 1
摘要：这个报告首先介绍混成系统的研究背景、意义及研究困难，接着围绕多项式动力系统给出哈密顿-雅可比框架下可达集的上下近似方法并与现有方法进行比较。
报告人简介：2014年度国家优青获得者。佘志坤，主要围绕非线性混成系统安全验证与稳定分析的数学理论、算法实现以及实际应用开展研究。在ACM汇刊、SIAM期刊、IEEE汇刊等国际期刊以及CAV、HSCC、AAAI等国际会议上发表学术论文50余篇。研究成果被来自麻省理工公司、斯坦福大学、加州大学伯克利分校、剑桥大学、牛津大学、苏黎世联邦理工公司等著名机构的、包含1名图灵奖获得者、1名自动推理杰出贡献奖Herbrand奖获得者、8名院士、15名ACM/IEEE会士在内的国内外学者他引400余次。获2013年度教育部自然科学奖一等奖（第三完成人）及2014年度国家优秀青年科学基金项目。
