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

佘志坤:基于非單調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和半定規劃,給出有理時變切換系統可穩定性的自動驗證方法。

羽毛球女双田卿 浙江11选5走势图一定牛 5元以下股票推荐 哪个平台有河南快三 金韵期货 腾讯五分彩软件计划 南昌期货配资 江苏11选5分布图 广西快乐十分直播今天 赛车pk10开奖官网 黑龙江6 1体彩开奖结果查询