基于NCES的動態(tài)可重構離散事件系統(tǒng)的最短路徑控制
發(fā)布時間：2021-09-15 20:50
為了使系統(tǒng)在組件故障,局部通信失效,能量匱乏等情況下依然可持續(xù)滿足控制需求,一些系統(tǒng),如安全關鍵系統(tǒng)需要在系統(tǒng)運行的過程中進行重構。這些系統(tǒng)可以被視為動態(tài)可重構系統(tǒng)（dynamic reconfigurable system,DRS）。一個DRS包含多個構型并通常運行在某特定構型下。在接到重構命令后,系統(tǒng)需要從當前構型重構至另一個構型。由于不受控的DRS重構行為會使系統(tǒng)不穩(wěn)定并違反控制需求,重構行為的控制非常重要。人類科學技術的進步產生了諸多人造系統(tǒng),如柔性制造系統(tǒng),交通控制系統(tǒng)和通信網絡。在只考慮邏輯變化關系而忽略系統(tǒng)隨時間而產生的連續(xù)變化時,這類系統(tǒng)可以被視作離散事件系統(tǒng)（discrete event system,DES）。DES是一個事件驅動,狀態(tài)離散的系統(tǒng),其系統(tǒng)狀態(tài)變化完全取決于離散事件的同步和異步發(fā)射。NCES（net condition/event system）是一種用于分析與控制DES的形式化體系,也是被廣泛使用的Petri網的模塊化擴展。和其他DES模型相比,NCES的模塊化結構使其更適于動態(tài)可重構系統(tǒng)的研究。本文從DES的角度研究DRS,進行了基于NCES的動態(tài)...
【文章來源】：西安電子科技大學陜西省 211工程院校 教育部直屬院校
【文章頁數】：76 頁
【學位級別】：碩士
【文章目錄】：
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Control Problems of DRDES
1.2 State of the Art
1.3 Thesis Organization
Chapter 2 Preliminary
2.1 NCES
2.2 Formal Language and Generator
2.3 Invariant-Based Control Synthesis of Petri Net with Uncontrollable Transitions
Chapter 3 Shortest Path Control of DRDES Based on NCESs
3.1 Dynamic Reconfigurable Discrete Event System
3.2 SLFS Computation of DRDES
3.2.1 SLFS Computation of NCES under Firing Rule”Maximal SingleSpontaneous Transition Steps”
3.2.2 SLFS Computation of NCES under Firing Rule”Arbitrary MaximalSteps”
3.3 Virtual Guiding Controller Design of DRDES
3.4 Example
3.4.1 Example of the SLFS Computation under Firing Rule”Maximal S-ingle Spontaneous Transition Steps”
3.4.2 Example of the SLFS Computation under Firing Rule”ArbitraryMaximal Steps”
3.5 Conclusion
Chapter 4 Consistency Control of DRDES Based on NCES
4.1 Consistency Control Problems of DRDES
4.2 Consistency Control Policy
4.3 Example for Consistency Control
4.4 Consistency Control with Uncontrollable Transition
4.5 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography
本文編號：3396787
【文章來源】：西安電子科技大學陜西省 211工程院校 教育部直屬院校
【文章頁數】：76 頁
【學位級別】：碩士
【文章目錄】：
ABSTRACT
摘要
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Control Problems of DRDES
1.2 State of the Art
1.3 Thesis Organization
Chapter 2 Preliminary
2.1 NCES
2.2 Formal Language and Generator
2.3 Invariant-Based Control Synthesis of Petri Net with Uncontrollable Transitions
Chapter 3 Shortest Path Control of DRDES Based on NCESs
3.1 Dynamic Reconfigurable Discrete Event System
3.2 SLFS Computation of DRDES
3.2.1 SLFS Computation of NCES under Firing Rule”Maximal SingleSpontaneous Transition Steps”
3.2.2 SLFS Computation of NCES under Firing Rule”Arbitrary MaximalSteps”
3.3 Virtual Guiding Controller Design of DRDES
3.4 Example
3.4.1 Example of the SLFS Computation under Firing Rule”Maximal S-ingle Spontaneous Transition Steps”
3.4.2 Example of the SLFS Computation under Firing Rule”ArbitraryMaximal Steps”
3.5 Conclusion
Chapter 4 Consistency Control of DRDES Based on NCES
4.1 Consistency Control Problems of DRDES
4.2 Consistency Control Policy
4.3 Example for Consistency Control
4.4 Consistency Control with Uncontrollable Transition
4.5 Conclusion
Chapter 5 Conclusion and Future Work
References
Acknowledgements
Biography
本文編號：3396787
本文鏈接：http://www.sikaile.net/kejilunwen/zidonghuakongzhilunwen/3396787.html
