自動制造系統(tǒng)的控制器結(jié)構(gòu)優(yōu)化策略研究
發(fā)布時間：2024-05-14 04:30
在工業(yè)4.0的背景下,日益激烈的全球化競爭以及快速變化的市場需求驅(qū)動著當(dāng)代工業(yè)生產(chǎn)的技術(shù)創(chuàng)新與產(chǎn)業(yè)發(fā)展。傳統(tǒng)的生產(chǎn)系統(tǒng)不足以應(yīng)對當(dāng)前工業(yè)發(fā)展的挑戰(zhàn)。它們將逐漸被自動制造系統(tǒng)所取代,從而提高競爭力。這種工業(yè)制造系統(tǒng)上的換代升級,離不開數(shù)字化等新興技術(shù)的產(chǎn)生與發(fā)展。因此,很多研究者與工程師關(guān)注自動制造系統(tǒng)的建模、分析與控制問題。通常情況下,一個自動制造系統(tǒng)由計算機數(shù)控加工機器、緩沖器、機器人、自動導(dǎo)引車、物料搬運裝置等設(shè)備組成一個整體系統(tǒng)。在設(shè)置好監(jiān)督控制策略以后,自動制造系統(tǒng)能夠完成復(fù)雜的加工操作,并以更快更高效的方式生產(chǎn)高質(zhì)量的產(chǎn)品,這是其一個顯著的優(yōu)點。自動制造系統(tǒng)可以當(dāng)成一種資源分配系統(tǒng)。因為并發(fā)進(jìn)程需要競爭有限的資源,資源的高共享度帶來眾所周知的死鎖問題。這是自動制造系統(tǒng)遇到的首要的邏輯層面的問題。由此,引發(fā)了監(jiān)督控制理論的發(fā)展,通過設(shè)計控制器使得系統(tǒng)保持活性。與此同時,在生成一個控制器的過程中,也會遇到高計算復(fù)雜度與結(jié)構(gòu)復(fù)雜度。最壞情況下,可能會導(dǎo)致生成的規(guī)模龐大的控制器無法施加在原系統(tǒng)中。這就帶來了另外一個重要的控制問題,即控制器簡化問題。到目前為止,大多數(shù)的監(jiān)督控制理論都是...
【文章頁數(shù)】：159 頁
【學(xué)位級別】：博士
【文章目錄】：
摘要
ABSTRACT
List of Symbols
List of Abbreviations
Chapter1 Introduction
1.1 Construction of Automated Manufacturing Systems(AMSs)
1.2 Supervisory Control and its Simplification
1.2.1 Liveness Analysis and its Literature Review
1.2.2 Liveness Enforcement and its Literature Review
1.2.3 Supervisor Simplification and its Literature Review
1.3 Thesis Organization
Chapter2 Preliminary
2.1 Basic Definitions
2.2 Petri Net Classes
2.3 Mathematical Basics
Chapter3 Liveness-enforcing Supervision in AMS Oriented HAMGs:An ApproachBased on New Characterization of Siphons
3.1 Introduction
3.2 PN Modeling of HAMG
3.3 Novel Characterization of Siphons and Liveness Analysis
3.3.1 Novel Characterization of Siphons
3.3.2 Liveness Analysis of HAMGs
3.4 Liveness-enforcing Supervisory Control and Supervisory Simplification forHAMGs
3.4.1 Liveness-enforcing Supervisory Control of HAMGs using GMECs
3.4.2 Supervisor Simplification via Inequality Analysis
3.5 Comparison and Discussion
3.5.1 Comparison of Liveness Analysis
3.5.2 Comparison of Liveness Enforcement
3.6 Conclusion
Chapter4 Time-varying AMSs and Their Event-based Control:A Petri Net Approach
4.1 Introduction
4.2 PN Modeling of AMS
4.2.1 Tv-S4R Model
4.2.2 Time-varying Specifications on Tv-S4R
4.2.3 Liveness Analysis of Tv-S4R
4.3 Event-based Liveness-enforcing Supervisor for Tv-S4R and Its Simplification
4.3.1 Event-based Liveness-enforcing Supervisor for Tv-S4R
4.3.2 Event-based Supervisor Simplification
4.4 Weighted Invariant-based Liveness-enforcing Supervisor for Tv-S4R
4.4.1 Mathematical Analysis
4.4.2 Liveness-enforcing Supervisory Control
4.4.3 Comparisons and Complexity Analysis
4.5 Conclusion
Chapter5 Structure Independence of Supervisor and Specification Simplification inAMSs using Petri Nets
5.1 Introduction
5.2 Supervisor Simplification and its Structural Independence
5.2.1 Supervisor Simplification Methods
5.2.2 Structural Independence of Supervisor Simplification
5.3 Specification Simplification Using Invariance and Inequality Analysis
5.3.1 P-invariant-based Specification Simplification
5.3.2 Structural Independence of Specification Simplification
5.4 Conclusion
Chapter6 Static and Dynamic Partitions of Inequalities:A Unified Methodology forSupervisor Simplification
6.1 Introduction
6.2 Problem Statement
6.3 Static and Dynamic Partition on Inequalities
6.3.1 Static Partition on Inequalities
6.3.2 Dynamic Partition on Inequalities
6.3.3 Type I Supervisor Simplification
6.3.4 Type II Supervisor Simplification
6.3.5 Case Studies
6.4 Methodologies Unification in Supervisor Simplification
6.4.1 Selective Siphon Control
6.4.2 Implicit Siphon Control
6.5 Illustrative Example
6.6 Conclusion
Chapter7 Conclusions and Future Research
7.1 Concluding Remarks on Supervisor Synthesis
7.2 Concluding Remarks on Supervisor Simplification
7.3 Limitations and Future Research
Reference
Acknowledgement
Biography
本文編號：3973192
【文章頁數(shù)】：159 頁
【學(xué)位級別】：博士
【文章目錄】：
摘要
ABSTRACT
List of Symbols
List of Abbreviations
Chapter1 Introduction
1.1 Construction of Automated Manufacturing Systems(AMSs)
1.2 Supervisory Control and its Simplification
1.2.1 Liveness Analysis and its Literature Review
1.2.2 Liveness Enforcement and its Literature Review
1.2.3 Supervisor Simplification and its Literature Review
1.3 Thesis Organization
Chapter2 Preliminary
2.1 Basic Definitions
2.2 Petri Net Classes
2.3 Mathematical Basics
Chapter3 Liveness-enforcing Supervision in AMS Oriented HAMGs:An ApproachBased on New Characterization of Siphons
3.1 Introduction
3.2 PN Modeling of HAMG
3.3 Novel Characterization of Siphons and Liveness Analysis
3.3.1 Novel Characterization of Siphons
3.3.2 Liveness Analysis of HAMGs
3.4 Liveness-enforcing Supervisory Control and Supervisory Simplification forHAMGs
3.4.1 Liveness-enforcing Supervisory Control of HAMGs using GMECs
3.4.2 Supervisor Simplification via Inequality Analysis
3.5 Comparison and Discussion
3.5.1 Comparison of Liveness Analysis
3.5.2 Comparison of Liveness Enforcement
3.6 Conclusion
Chapter4 Time-varying AMSs and Their Event-based Control:A Petri Net Approach
4.1 Introduction
4.2 PN Modeling of AMS
4.2.1 Tv-S4R Model
4.2.2 Time-varying Specifications on Tv-S4R
4.2.3 Liveness Analysis of Tv-S4R
4.3 Event-based Liveness-enforcing Supervisor for Tv-S4R and Its Simplification
4.3.1 Event-based Liveness-enforcing Supervisor for Tv-S4R
4.3.2 Event-based Supervisor Simplification
4.4 Weighted Invariant-based Liveness-enforcing Supervisor for Tv-S4R
4.4.1 Mathematical Analysis
4.4.2 Liveness-enforcing Supervisory Control
4.4.3 Comparisons and Complexity Analysis
4.5 Conclusion
Chapter5 Structure Independence of Supervisor and Specification Simplification inAMSs using Petri Nets
5.1 Introduction
5.2 Supervisor Simplification and its Structural Independence
5.2.1 Supervisor Simplification Methods
5.2.2 Structural Independence of Supervisor Simplification
5.3 Specification Simplification Using Invariance and Inequality Analysis
5.3.1 P-invariant-based Specification Simplification
5.3.2 Structural Independence of Specification Simplification
5.4 Conclusion
Chapter6 Static and Dynamic Partitions of Inequalities:A Unified Methodology forSupervisor Simplification
6.1 Introduction
6.2 Problem Statement
6.3 Static and Dynamic Partition on Inequalities
6.3.1 Static Partition on Inequalities
6.3.2 Dynamic Partition on Inequalities
6.3.3 Type I Supervisor Simplification
6.3.4 Type II Supervisor Simplification
6.3.5 Case Studies
6.4 Methodologies Unification in Supervisor Simplification
6.4.1 Selective Siphon Control
6.4.2 Implicit Siphon Control
6.5 Illustrative Example
6.6 Conclusion
Chapter7 Conclusions and Future Research
7.1 Concluding Remarks on Supervisor Synthesis
7.2 Concluding Remarks on Supervisor Simplification
7.3 Limitations and Future Research
Reference
Acknowledgement
Biography
本文編號：3973192
本文鏈接：http://sikaile.net/kejilunwen/zidonghuakongzhilunwen/3973192.html
最近更新
教材專著
