講座名稱(chēng)：New results on Supervisory control of Timed discrete event systems using Time Petri nets

講座人：Francesco Basile 教授

講座時(shí)間：7月18日14:00

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

講座人介紹：

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

講座內(nèi)容：

定時(shí)離散事件系統(tǒng)（TDES）的監(jiān)督控制（SC）是控制工程中的一個(gè)綜合工具。事件被限制在相對(duì)于其啟動(dòng)瞬間的時(shí)間范圍內(nèi)發(fā)生，并使用一個(gè)全局?jǐn)?shù)字時(shí)鐘來(lái)同步事件的發(fā)生。事件被分類(lèi)為前置事件或遠(yuǎn)程事件，并且可以被禁用或強(qiáng)制在發(fā)射時(shí)間間隔內(nèi)發(fā)射。TPN系統(tǒng)對(duì)可控性進(jìn)行了更廣泛的解釋?zhuān)J(rèn)為事件可以在部分時(shí)間內(nèi)被禁用，或者其發(fā)射時(shí)間可以受監(jiān)管者的影響。

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