皇宫老虎机下载-logonews
English
您所在的位置: 首页 / 讲座陈诉

佘志坤:基于非单调Lyapunov函数的切换系统可稳定性阐发

讲座编号:jz-yjsb-2020-y004

讲座题目:基于非单调Lyapunov函数的切换系统可稳定性阐发

主 讲 人:佘志坤   北京航空航天大学

讲座时间:20200117日(星期五)下午16:30

讲座所在:阜成路校区西区综合楼1116

加入东西:数学与统计学院全体师生

主办单位:研究生院

承办单位:数学与统计学院

主讲人简介:

佘志坤,男,北京航空航天大学数学学院教授、副院长、博士生导师。主要从事非线性混成系统宁静性验证与稳定性阐发的研究。在ACM Transactions on Embedded Computing SystemsSIAM Journal on Control and OptimizationIEEE Transactions on Automatic Control等国际期刊和CAVHSCCAAAI等国际会议上表学术论文70余篇,研究结果获得包罗1位图灵奖获得者、3位自动推理杰出孝敬奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出书的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开的验证东西HSolver

主讲内容:

切换系统是由若扳连续或离散的子系统以及一个决定如何在子系统间切换的规矩组成的混成系统。切换系统阐发与综合极其庞大,例如:切换系统稳定性是一个不可判定问题;稳定的子系统可以组成不稳定的切换系统;不稳定的子系统可以组成稳定的切换系统等。本陈诉主要围绕切换系统可稳定性展开:首先,基于非单调Lyapunov函数,给出时变切换线性系统渐近可稳定、指数可稳定、一致指数可稳定的充要条件;接着,将以上相关结论推广到时变切换非线性系统;最后,基于S-procedure和半定计划,给出有理时变切换系统可稳定性的自动验证要领。

皇宫老虎机下载