近日,電氣與控制工程學(xué)院湯偉教授團(tuán)隊(duì)在控制領(lǐng)域國(guó)際頂尖期刊《Automatica》上發(fā)表題為“Performance safety enforcement in strongly connected timed event graphs”的學(xué)術(shù)論文。團(tuán)隊(duì)青年教師何舟副教授為論文第一作者,湯偉教授為論文第三作者,陜西科技大學(xué)為論文第一單位。這是我校首次在該期刊發(fā)表論文。
離散事件系統(tǒng)是由異步、突發(fā)的事件驅(qū)動(dòng)狀態(tài)演化的動(dòng)態(tài)系統(tǒng),如信息物理系統(tǒng),智能制造系統(tǒng),交通系統(tǒng)等。由于網(wǎng)絡(luò)通信中存在的不安全性,攻擊者可通過破壞傳感器,篡改并注入虛假的傳感器信號(hào),導(dǎo)致系統(tǒng)的控制器對(duì)惡意數(shù)據(jù)進(jìn)行操作,降低系統(tǒng)性能,甚至引發(fā)重大災(zāi)難。該論文研究了考慮網(wǎng)絡(luò)攻擊時(shí)的離散事件系統(tǒng)性能安全防護(hù)問題,采用博弈的思路,得到了網(wǎng)絡(luò)攻擊下的系統(tǒng)最優(yōu)防護(hù)策略,確保系統(tǒng)性能在受到攻擊的情況下不低于預(yù)先設(shè)定的閾值?,F(xiàn)有文獻(xiàn)中,研究的都是基于邏輯層面的系統(tǒng)防護(hù)(如信息不透明性,系統(tǒng)非阻塞等),而本論文研究了系統(tǒng)性能指標(biāo)方面的防護(hù)問題。結(jié)合Petri網(wǎng)理論和博弈思想,研究了攻防雙方的最優(yōu)行為,并將系統(tǒng)性能安全防護(hù)問題求解轉(zhuǎn)換為整數(shù)線性優(yōu)化問題,提出了成本最小的防護(hù)策略。
進(jìn)一步,考慮離散事件系統(tǒng)中事件發(fā)生的隨機(jī)性和網(wǎng)絡(luò)增強(qiáng)攻擊,提出了成本最小的防護(hù)策略,相關(guān)成果以“Performance safety enforcement in stochastic event graphs against boost and slow attacks”為題發(fā)表在期刊Nonlinear Analysis: Hybrid Systems上(https://doi.org/10.1016/j.nahs.2021.101057)。
新聞小貼士:
Automatica是自動(dòng)化研究領(lǐng)域三大頂級(jí)期刊之一,位列JCR中Q1區(qū)(自動(dòng)化與控制領(lǐng)域),最新影響因子為5.944,該期刊的錄用率通常低于10%。
Nonlinear Analysis: Hybrid Systems是自動(dòng)化研究領(lǐng)域國(guó)際知名期刊之一,位列JCR中Q1區(qū)(自動(dòng)化與控制領(lǐng)域),最新影響因子為6.163。
(核稿:楊南 編輯:郭姍姍 學(xué)生編輯:韓佳蓉)