《基於動態規範和約束轉換的Petri網控制器設計》是依託華僑大學，由羅繼亮擔任項目負責人的面上項目。
基本介紹
- 中文名：基於動態規範和約束轉換的Petri網控制器設計
- 項目類別：面上項目
- 項目負責人：羅繼亮
- 依託單位：華僑大學
- 批准號：61573158
- 申請代碼：F0301
- 負責人職稱：教授
- 研究期限：2016-01-01 至 2019-12-31
- 支持經費：65（萬元）
項目摘要
Petri網控制綜合旨在研究如何快速、可重構地設計可靠邏輯控制程式，並能夠為智慧型製造的控制軟體設計提供理論基礎，其中涉及的不可控、不可觀事件和“狀態空間爆炸”導致的計算複雜性是迫切需要解決的難題。對此，本項目擬（1）提出“動態允許線性約束”，用以取代“允許線性約束”作為轉換目標，構建新的約束轉換方法框架，從而糾正傳統約束轉換方法不能適應不可觀問題的缺陷，使得最優控制器設計成為可能；（2）提出“變遷權值歸零”的約束轉換方法，逐步、疊代地將控制規範簡化為“動態允許線性約束”，最大程度地降低不可觀、不可控事件導致的計算複雜性，從而避免涉及狀態枚舉的可達性分析；（3）藉助偏序關係和線性整數規劃，在約束轉換中引入去冗餘機制，既可以提高約束轉換效率，又可以減小控制器的規模。項目成果可以套用於智慧型製造和安全關鍵領域的邏輯控制軟體開發，有望促進離散事件控制理論的研究進展。
