報(bào)告題目: 基于非單調(diào)Lyapunov函數(shù)的切換系統(tǒng)可穩(wěn)定性分析

報(bào)告時(shí)間: 2025年11月7日(星期五), 15：50-16：50

報(bào)告地點(diǎn): 廣東技術(shù)師范大學(xué)白云校區(qū)圖書(shū)館117室

內(nèi)容摘要:  切換系統(tǒng)是由若干連續(xù)或離散的子系統(tǒng)以及一個(gè)決定如何在子系統(tǒng)間切換的規(guī)則組成的混成系統(tǒng)。切換系統(tǒng)分析與綜合極其復(fù)雜，例如：切換系統(tǒng)穩(wěn)定性分析是一不可判定問(wèn)題；穩(wěn)定的子系統(tǒng)可以組成不穩(wěn)定的切換系統(tǒng)；不穩(wěn)定的子系統(tǒng)可以組成穩(wěn)定的切換系統(tǒng)等。本報(bào)告主要圍繞切換系統(tǒng)可穩(wěn)定性展開(kāi)：首先，基于非單調(diào)Lyapunov函數(shù)，給出時(shí)變切換線性系統(tǒng)漸近可穩(wěn)定、指數(shù)可穩(wěn)定、一致指數(shù)可穩(wěn)定的充要條件；接著，將以上相關(guān)結(jié)論推廣到時(shí)變切換非線性系統(tǒng)；最后，基于S-procedure和半定規(guī)劃，給出有理時(shí)變切換系統(tǒng)可穩(wěn)定性的自動(dòng)驗(yàn)證方法。

報(bào)告人簡(jiǎn)介: 佘志坤，北京航空航天大學(xué)教授、博導(dǎo)，中國(guó)數(shù)學(xué)會(huì)理事兼全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽工作組組長(zhǎng)，《全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽叢書(shū)》主編。主要從事混成系統(tǒng)自動(dòng)驗(yàn)證、智能系統(tǒng)協(xié)同控制等方面的研究。在ACM匯刊、IEEE匯刊、SIAM期刊上共發(fā)表學(xué)術(shù)論文20余篇。研究成果獲得包含1位圖靈獎(jiǎng)獲得者、1位哥德?tīng)柂?jiǎng)獲得者、3位自動(dòng)推理杰出成就獎(jiǎng)獲得者、15位院士、20余位ACM/IEEE會(huì)士在內(nèi)的國(guó)內(nèi)外學(xué)者的正面評(píng)價(jià)與引用。

歡迎感興趣的老師和同學(xué)參加！