應(yīng)yl7703永利官網(wǎng)李萬(wàn)同教授和王賓國(guó)教授的邀請(qǐng)，北京航空航天大學(xué)佘志坤教授將于2023年7月24日-27日訪問(wèn)蘭州大學(xué)，期間于7月25日舉辦專題學(xué)術(shù)報(bào)告。

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

報(bào)告摘要：切換系統(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)證方法。

時(shí) 間：7月25日上午11:00.

地 點(diǎn)：理工樓631

歡迎廣大師生光臨!

報(bào)告人簡(jiǎn)介

佘志坤，北京航空航天大學(xué)教授、博導(dǎo)，中國(guó)數(shù)學(xué)會(huì)理事兼數(shù)學(xué)競(jìng)賽委員會(huì)副主任及全國(guó)大學(xué)生數(shù)學(xué)競(jìng)賽工作組組長(zhǎng)。主要從事混成系統(tǒng)自動(dòng)驗(yàn)證、智能系統(tǒng)協(xié)同控制等方面的研究。在ACM匯刊、IEEE匯刊、SIAM期刊等國(guó)際期刊和CAV、HSCC、AAAI等國(guó)際會(huì)議上發(fā)表學(xué)術(shù)論文100余篇。研究成果獲得包含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à)與引用。由圖靈獎(jiǎng)獲得者Edmund M. Clarke等編著并于2018年出版的《Handbook of Model Checking》在第30章“Verification of Hybrid Systems”的第七節(jié)“Verification Tools”介紹了其開(kāi)發(fā)的驗(yàn)證工具HSolver。

甘肅應(yīng)用數(shù)學(xué)中心

甘肅省高校應(yīng)用數(shù)學(xué)與復(fù)雜系統(tǒng)省級(jí)重點(diǎn)實(shí)驗(yàn)室

yl7703永利官網(wǎng)

萃英學(xué)院

2023年7月23日