报告题目:混成系统安全验证与稳定分析研究

报告人：佘志坤讲授

报告时间：14:30-15:30

报告地点：理学楼 A 110

题目：混成系统安全验证与稳定分析研究

报告人：佘志坤（北京航空航天大学）

报告时间：2019年6月10号（周一）14:30-15:30

报告地点：理学楼 A 110

摘要：本报告首先介绍混成系统研究意义与混成系统模型，接着介绍安全验证与稳定分析的研究现状，最后介绍一下个人在稳定性分析方面的部分成果。

简历：佘志坤，北京航空航天大学数学与系统科学学院，教授、研究生教学副院长，国家优秀基金科学项目获得者。主要从事非线性混成系统安全性验证与稳定性分析的研究。研究成果获得包含1位图灵奖获得者、3位自动推理杰出贡献奖（Herbrand奖）获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。