《網路化離散事件動態系統監控理論研究》是依託同濟大學，由林峰擔任項目負責人的專項基金項目。
基本介紹
- 中文名：網路化離散事件動態系統監控理論研究
- 項目類別：專項基金項目
- 項目負責人：林峰
- 依託單位：同濟大學
中文摘要,結題摘要,
中文摘要
近些年來，網路通訊技術的迅速發展使得許多複雜工程系統具有設備分散式布置、高度網路化集成等特徵。通訊網路促成的系統集成能夠帶來諸多技術上的優勢和潛在效益，但是監控問題不再僅取決於物理對象的運行動態，計算資源的運算能力和監控算法，而且與系統各設備單元間的通訊密切相關，現有的離散事件動態系統監控理論無法滿足這些複雜工程系統的監控需求。為此本項目煉漿鑽將對融合網路通訊特徵的夜請察網路化離散事件動態系統監控問題展開全面深入的研究：建立基於自動機/形式語言模型的網路化離散事件動態系統模型；探究通訊對網路化離散事件動態系統信息獲取的作用機理；進一步展開網路化離散炒榆歡事件動態系統監控器綜合研究；最後討論通訊最佳化問題，以期最有效地利用感測器和通訊網路資源。這一項目的實施旨在得到一套系統化的網路化離散事件動態系統監控理論，為實際生活中諸多具有設備分散式布詢寒您棕置、高度網路化集成等特徵的複雜工程系統的監控提供理論依據和解決方案。
結題摘要
本研究項目的成果包括兩方面的內容：（1）確保可觀性的最小通訊策略；（2）網路監控器存在的充要條件。在第一方面，研究表明可觀性是可測性的一種特殊情況。在確保可測性的前提下，推導獲得了監控器與感測器間的最恥己小通訊策略，並且得到了該策略的線上實現算法。這些算法具有多項式的計算複雜度。在第二方面，我們從安全性的角度分析了存在網路延時和丟包情況下受夜請享煮控系統的語言特徵並定義了受控系統的語言，得到了網路監控器存在的充要條滲雄府件這一重要結論：對於離散事件動態系統和要求的安全行為（用語言K表示），存在相應的網路監控器使得受控系統的語言滿足要求若且唯若K是網路可控的和網路可觀的。
