基于NCES的動(dòng)態(tài)可重構(gòu)離散事件系統(tǒng)的最短路徑控制
發(fā)布時(shí)間:2021-09-15 20:50
為了使系統(tǒng)在組件故障,局部通信失效,能量匱乏等情況下依然可持續(xù)滿足控制需求,一些系統(tǒng),如安全關(guān)鍵系統(tǒng)需要在系統(tǒng)運(yùn)行的過(guò)程中進(jìn)行重構(gòu)。這些系統(tǒng)可以被視為動(dòng)態(tài)可重構(gòu)系統(tǒng)(dynamic reconfigurable system,DRS)。一個(gè)DRS包含多個(gè)構(gòu)型并通常運(yùn)行在某特定構(gòu)型下。在接到重構(gòu)命令后,系統(tǒng)需要從當(dāng)前構(gòu)型重構(gòu)至另一個(gè)構(gòu)型。由于不受控的DRS重構(gòu)行為會(huì)使系統(tǒng)不穩(wěn)定并違反控制需求,重構(gòu)行為的控制非常重要。人類科學(xué)技術(shù)的進(jìn)步產(chǎn)生了諸多人造系統(tǒng),如柔性制造系統(tǒng),交通控制系統(tǒng)和通信網(wǎng)絡(luò)。在只考慮邏輯變化關(guān)系而忽略系統(tǒng)隨時(shí)間而產(chǎn)生的連續(xù)變化時(shí),這類系統(tǒng)可以被視作離散事件系統(tǒng)(discrete event system,DES)。DES是一個(gè)事件驅(qū)動(dòng),狀態(tài)離散的系統(tǒng),其系統(tǒng)狀態(tài)變化完全取決于離散事件的同步和異步發(fā)射。NCES(net condition/event system)是一種用于分析與控制DES的形式化體系,也是被廣泛使用的Petri網(wǎng)的模塊化擴(kuò)展。和其他DES模型相比,NCES的模塊化結(jié)構(gòu)使其更適于動(dòng)態(tài)可重構(gòu)系統(tǒng)的研究。本文從DES的角度研究DRS,進(jìn)行了基于NCES的動(dòng)態(tài)...
【文章來(lái)源】:西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校
【文章頁(yè)數(shù)】:76 頁(yè)
【學(xué)位級(jí)別】:碩士
【文章目錄】:
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
本文編號(hào):3396787
【文章來(lái)源】:西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校
【文章頁(yè)數(shù)】:76 頁(yè)
【學(xué)位級(jí)別】:碩士
【文章目錄】:
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
本文編號(hào):3396787
本文鏈接:http://sikaile.net/kejilunwen/zidonghuakongzhilunwen/3396787.html
最近更新
教材專著