講座名稱：Timed discrete event systems: an approach based on Time Petri nets

講座人：Francesco Basile 教授

講座時間：7月17日14:00

地點：北校區(qū)主樓III-345

講座人介紹：

Francesco Basile分別于1995年和1999年在那不勒斯大學(xué)以優(yōu)異成績獲得電子工程學(xué)士學(xué)位和電子與計算機工程博士學(xué)位。1999年，他在西班牙薩拉戈薩的薩拉戈薩大學(xué)信息和系統(tǒng)工程系擔任了6個月的訪問研究員。他目前是意大利Fisciano Salerno大學(xué)Dipartimento di Ingegneria dell'informazione ed elettrica e matematica applicata自動控制系的全職教授。他在國際期刊和會議上發(fā)表了130多篇論文。他目前的研究興趣包括離散事件系統(tǒng)的建模和控制、自動化制造和機器人技術(shù)。Basile教授是《國際機器人與自動化雜志》、《IEEE控制系統(tǒng)技術(shù)論文集》和《IEEE自動化科學(xué)與工程論文集》的副主編。他是IEEE控制系統(tǒng)學(xué)會會議編輯委員會成員。曾任IEEE Control Systems Letters副主編。曾任第14屆離散事件系統(tǒng)國際研討會（WODES 2018）總主席。

講座內(nèi)容：

PN對于離散事件系統(tǒng)（DES）的分析和綜合以及監(jiān)控器的設(shè)計非常有用。時間Petri網(wǎng)（TPN）用于描述定時DES的行為，其中啟用的轉(zhuǎn)換可以在給定的點火時間間隔內(nèi)點火。TPN對于實時系統(tǒng)的規(guī)范和驗證非常有用。在實踐中，事件被限制在相對于其啟用瞬間的下限和上限時間內(nèi)發(fā)生，并使用全局數(shù)字時鐘來同步事件的發(fā)生。本講座將介紹利用TPN的潛力對定時DES進行控制、狀態(tài)估計和診斷的最新成果。

主辦單位：機電工程學(xué)院