讲座编号:jz-yjsb-2020-y004
讲座问题:基于非枯燥Lyapunov函数的切换系统可稳固性剖析
主 讲 人:佘志坤 北京航空航天大学
讲座时间:2020年01月17日(星期五)下昼16:30
讲座所在:阜成路校区西区综合楼1116室
加入工具:数学与统计学院全体师生
主理单位:研究生院
承办单位:数学与统计学院
主讲人简介:
佘志坤,男,北京航空航天大学数学学院教授、副院长、博士生导师。主要从事非线性混成系统清静性验证与稳固性剖析的研究。在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际聚会上揭晓学术论文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和半定妄想,给出有理时变切换系统可稳固性的自动验证要领。