報告題目：基于非單調Lyapunov函數的切換系統可穩定性分析

報告人：佘志坤教授(北京航空航天大學)

報告時間：2024年5月11日16:00-17:00

報告地點：數學科學學院A413

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

報告人簡介：佘志坤，北京航空航天大學教授、博導，中國數學會理事兼全國大學生數學競賽工作組組長，《全國大學生數學競賽叢書》主編。主要從事混成系統自動驗證、智能系統協同控制等方面的研究。在ACM匯刊、IEEE匯刊、SIAM期刊等國際期刊和CAV、AAAI等國際會議上發表學術論文100余篇。研究成果獲得包含1位圖靈獎獲得者、1位哥德爾獎獲得者、3位自動推理杰出成就獎獲得者、15位院士、20余位ACM/IEEE會士在內的國內外學者的正面評價與引用。

（撰稿：張倩影  審核：張國）

                                         數學科學學院

                                             2024年5月7日