自动制造系统的控制器结构优化策略研究

发布时间：2024-05-14 04:30

　　在工业4.0的背景下,日益激烈的全球化竞争以及快速变化的市场需求驱动着当代工业生产的技术创新与产业发展。传统的生产系统不足以应对当前工业发展的挑战。它们将逐渐被自动制造系统所取代,从而提高竞争力。这种工业制造系统上的换代升级,离不开数字化等新兴技术的产生与发展。因此,很多研究者与工程师关注自动制造系统的建模、分析与控制问题。通常情况下,一个自动制造系统由计算机数控加工机器、缓冲器、机器人、自动导引车、物料搬运装置等设备组成一个整体系统。在设置好监督控制策略以后,自动制造系统能够完成复杂的加工操作,并以更快更高效的方式生产高质量的产品,这是其一个显著的优点。自动制造系统可以当成一种资源分配系统。因为并发进程需要竞争有限的资源,资源的高共享度带来众所周知的死锁问题。这是自动制造系统遇到的首要的逻辑层面的问题。由此,引发了监督控制理论的发展,通过设计控制器使得系统保持活性。与此同时,在生成一个控制器的过程中,也会遇到高计算复杂度与结构复杂度。最坏情况下,可能会导致生成的规模庞大的控制器无法施加在原系统中。这就带来了另外一个重要的控制问题,即控制器简化问题。到目前为止,大多数的监督控制理论都是...

【文章页数】：159 页

【学位级别】：博士

【文章目录】：
摘要
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