您所在的位置: 首頁 / 講座報告

佘志坤:基于非單調Lyapunov函數的切換系統可穩定性分析

講座編號:jz-yjsb-2020-y004

講座題目:基于非單調Lyapunov函數的切換系統可穩定性分析

主 講 人:佘志坤   北京航空航天大學

講座時間:20200117日(星期五)下午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和半定規劃,給出有理時變切換系統可穩定性的自動驗證方法。

羽毛球女双田卿 股票融资如何操作,切记不要满仓买入 精准一肖免费资料 广西快3和值走势图 深圳风采彩票官方网站 北京十一选五最新开 pk10走势图教程 天津11选五一定牛 极速赛车群 青海11先5开奖走势图 幸运飞艇猜前三玩法