学术活动
首页  -  old  -  科学研究  -  学术活动  -  正文
【学术报告】2021年4月19日佘志坤教授举办学术讲座

作者: 时间:2021-04-19 点击量:

报告人:佘志坤(北京航空航天大学)

邀请人:吴付科

报告时间:2021年4月19日(星期一)10:30-12:30

报告地点:科技楼(南楼)611室

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

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

报告人简介:北京航空航天大学数学与系统科学学院教授,博导。中国数学会理事(兼中国数学会数学竞赛委员会副主任及全国大学生数学竞赛工作组组长)、北京数学会副理事长、中国数学会计算机数学专委会委员、中国计算机学会形式化方法专委会委员。在ACM Transactions on Embedded Computing Systems、IEEE Transactions on Software Engineering、SIAM Journal on Control and Optimization、IEEE Transactions on Automatic Control、IEEE Transactions on Cybernetics、IEEE Transactions on Systems Man and Cybernetics:Systems等国际期刊和CAV、HSCC、AAAI等国际会议上发表学术论文80余篇,研究成果获得包含1位图灵奖获得者、1位哥德尔奖获得者、3位自动推理杰出成就奖获得者、12位院士、20余位ACM/IEEE会士在内的国内外学者的正面评价与引用。由图灵奖获得者Edmund M. Clarke等编著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七节“Verification Tools”介绍了其开发的验证工具HSolver。


题目 报告人
邀请人 日期
地点

地址:中国·湖北省·武汉市珞喻路1037号 华中科技大学逸夫科技楼南楼
邮政编码:430074     电话\传真:86-027-87543231 E-mail:mathhust@mail.hust.edu.cn
Copyright 2021 ◎ 华中科技大学数学与统计学院