《基於Petri網的離散事件系統活性監控理論》是依託浙江大學,由吳維敏擔任項目負責人的面上項目。
基本介紹
- 中文名:基於Petri網的離散事件系統活性監控理論
- 依託單位:浙江大學
- 項目負責人:吳維敏
- 項目類別:面上項目
- 批准號:60774081
- 申請代碼:F0301
- 負責人職稱:教授
- 研究期限:2008-01-01 至 2010-12-31
- 支持經費:29(萬元)
《基於Petri網的離散事件系統活性監控理論》是依託浙江大學,由吳維敏擔任項目負責人的面上項目。
基於Petri網或離散事件系統模型,研究建立導致這類系統死鎖的結構特徵和狀態安全性判別方法,建立對資源故障等不確定事件具有魯棒性和多項式時間複雜性的最優或次優控制策略。基於控制策略,建立魯棒調度策略的綜合設計方法。通過將控制邏輯轉換...
本項目以離散事件系統Petri 網模型為基礎,主要開展以下內容的研究:(1)利用部分可觀Petri 網模型,尋求求解離散事件系統觀測器和診斷器設計的高效算法。擴展庫所標識的觀測函式,將可觀測性及可診斷性問題推廣至感測器分配問題;(2)克服...
《Supervisory Control of Discrete Event Systems Using Petri Nets》是Kluwer Academic Pub出版的圖書,作者是Moody, John O., Antsaklis, Panos J.內容簡介 Supervisory Control of Discrete Event Systems Using Petri Nets presents a...
《無界Petri網分析理論與方法》是依託同濟大學,由周孟初擔任項目負責人的面上項目。中文摘要 無界Petri網分析問題一直是離散事件系統和Petri網領域的世界性研究難題之一,現有研究存在的問題與不足包括:有限可達樹信息表示的不準確,缺乏廣義...
對實際生產系統(如信息服務系統)而言,這種可重構性對於適應其任務的變化是經濟有效的。研究形成了基於Petri網和整數規劃的資源配置系統的魯棒監督重構理論與方法。首先,提出一種魯棒重構機制,用於更新基於P不變式的監控器,以及進行閉環...
基於Petri網的自動化碼頭多AGV系統的死鎖解決策略研究,負責人;9.國家自然科學基金面上項目,基於有限容量Petri網的離散事件系統監控理論,負責人;10. 國家自然科學基金面上項目,基於Petri網的離散事件系統活性監控理論,負責人。
王壽光,男,浙江樂清人,副教授,博士。2000年9月~2005年6月在浙江大學電氣學院直攻控制理論與控制工程專業的博士學位(直博)。2005年6月至今,在浙江工商大學信息與電子工程學院任教。近年來主要從事離散事件系統監控理論、Petri網理論與...