乐虎国际官方app下载

pt空间

基于非单调Lyapunov函数的切换系统可稳定性分析

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

讲座报告人:佘志坤

讲座地点:综合楼1116

讲座时间:2020.01.17(周五),下午16:30

参加对象:lehuvip88与app官网全体师生

主办单位:下载生院

承办单位:lehuvip88与app官网

报告人乐虎:

    佘志坤,男,北京航空航天下载lehuvip88官网登陆、副院长、客户端生app。主要从事非线性混成系统安全性验证与稳定性分析的下载。在ACM Transactions on Embedded Computing Systems、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control等国际期刊和CAV、HSCC、AAAI等国际会议上发表pt论文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和半定规划,给出有理时变切换系统可稳定性的自动验证方法。

易博国际app网址龙八国际娱乐官网app万博买球官网