近日,電氣與控制工程學院湯偉教授團隊在控制領域國際頂尖期刊《Automatica》上發表題為“Performance safety enforcement in strongly connected timed event graphs”的學術論文。團隊青年教師何舟副教授為論文第一作者,湯偉教授為論文第三作者,陜西科技大學為論文第一單位。這是我校首次在該期刊發表論文。

離散事件系統是由異步、突發的事件驅動狀態演化的動態系統,如信息物理系統,智能制造系統,交通系統等。由于網絡通信中存在的不安全性,攻擊者可通過破壞傳感器,篡改并注入虛假的傳感器信號,導致系統的控制器對惡意數據進行操作,降低系統性能,甚至引發重大災難。該論文研究了考慮網絡攻擊時的離散事件系統性能安全防護問題,采用博弈的思路,得到了網絡攻擊下的系統最優防護策略,確保系統性能在受到攻擊的情況下不低于預先設定的閾值。現有文獻中,研究的都是基于邏輯層面的系統防護(如信息不透明性,系統非阻塞等),而本論文研究了系統性能指標方面的防護問題。結合Petri網理論和博弈思想,研究了攻防雙方的最優行為,并將系統性能安全防護問題求解轉換為整數線性優化問題,提出了成本最小的防護策略。
進一步,考慮離散事件系統中事件發生的隨機性和網絡增強攻擊,提出了成本最小的防護策略,相關成果以“Performance safety enforcement in stochastic event graphs against boost and slow attacks”為題發表在期刊Nonlinear Analysis: Hybrid Systems上(https://doi.org/10.1016/j.nahs.2021.101057)。
新聞小貼士:
Automatica是自動化研究領域三大頂級期刊之一,位列JCR中Q1區(自動化與控制領域),最新影響因子為5.944,該期刊的錄用率通常低于10%。
Nonlinear Analysis: Hybrid Systems是自動化研究領域國際知名期刊之一,位列JCR中Q1區(自動化與控制領域),最新影響因子為6.163。
(核稿:楊南 編輯:郭姍姍 學生編輯:韓佳蓉)