學術活動

您所在的位置: 首頁? 首頁欄目? 學術活動

學術活動

北京航空航天大學佘志坤教授應邀來我校講學


題目:基于非單調Lyapunov函數的切換系統可穩定性分析
時間:2019年12月30日(周一)10:00-11:00
地點:立志樓A422
主辦:數學與計算科學學院
報告人簡介:
       佘志坤,北京航空航天大學數學學院教授、博士生導師。主要從事非線性混成系統安全性驗證與穩定性分析的研究。在SIAM Journal on Control and
Optimization、IEEE Transactions on Automatic Control等國際期刊和CAV、HSCC、AAAI等國際會議上發表學術論文70余篇,研究成果獲得包含1位圖靈獎獲得者、3位自動推理杰出貢獻獎獲得者、12位院士、20余位ACM/IEEE會士在內的國內外學者的正面評價與引用。

報告摘要:
       切換系統是由若干連續或離散的子系統以及一個決定如何在子系統間切換的規則組成的混成系統。切換系統分析與綜合極其復雜,例如:切換系統穩定性分析是一不可判定問題;穩定的子系統可以組成不穩定的切換系統;不穩定的子系統可以組成穩定的切換系統等。本報告主要圍繞切換系統可穩定性展開:首先,基于非單調Lyapunov函數,給出時變切換線性系統漸近可穩定、指數可穩定、一致指數可穩定的充要條件;接著,將以上相關結論推廣到時變切換非線性系統;最后,基于S-procedure和半定規劃,給出有理時變切換系統可穩定性的自動驗證方法。

15选5浙走势图 幸运飞艇过年 极速时时彩预测器 时时彩官方开奖视频 002406股票分析 甘肃快三计划网页 手机娱乐电玩城那个 广东11选5历史查询 吉林十一选五走势图表下载 河南新快481开奖视频 排列五玩法中奖说明 2010年股票融资额 上海十一选五一定牛 重庆快乐十分现场开奖记录 深圳股票指数代码 中国福彩快3开奖 十一运夺金预测彩经网
幸运飞艇过年 极速时时彩预测器 时时彩官方开奖视频 002406股票分析 甘肃快三计划网页 手机娱乐电玩城那个 广东11选5历史查询 吉林十一选五走势图表下载 河南新快481开奖视频 排列五玩法中奖说明 2010年股票融资额 上海十一选五一定牛 重庆快乐十分现场开奖记录 深圳股票指数代码 中国福彩快3开奖 十一运夺金预测彩经网