學術活動

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

作者: | 來源:數學學院 | 發布日期:2019-12-27

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

?
动物跑跑跑压分规律 李逵劈鱼有几个版本 澳洲幸运8福彩中心 福彩全部开奖结果 捕鱼达人版微信 四川麻将单机版 6个平码算下期的平特肖 乐游天天捕鱼的棋牌 经典老版单机麻将免费 股票行情软件排行榜 有好玩的棋牌游戏网址吗 棋牌斗牛 街机捕鱼电玩合集 网游湖南亲友棋牌 南粤36选7 好彩3 融资融券标的股票名 乐游棋牌游戏娱乐