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

講座人：Francesco Basile 教授

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

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

講座人介紹：

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

講座內容：

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

主辦單位：機電工程學院