學術活動

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

學術活動

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


題目:基于非單調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开奖结果 东方6十1中奖规则 天津快乐十分近50期 平码固定的公式规律 11选5新疆爱彩乐 黑龙江11选5预测专家推荐 足球博彩论坛 深圳风采2011077 pk10计划软件手机版 六台宝典 图库管家婆 云南11选五走势图 北京快三跨度的走势图 正规配资 青海快3计划
快三玩法 中国女篮进入决赛直播 华东六省15选5开奖结果 东方6十1中奖规则 天津快乐十分近50期 平码固定的公式规律 11选5新疆爱彩乐 黑龙江11选5预测专家推荐 足球博彩论坛 深圳风采2011077 pk10计划软件手机版 六台宝典 图库管家婆 云南11选五走势图 北京快三跨度的走势图 正规配资 青海快3计划