基于Petri网和整数线性规划的离散事件系统的故障诊断
发布时间:2020-12-01 23:40
当代电子信息技术的快速发展催生了很多规模庞大、功能复杂的系统,如高速列车、运载火箭等。复杂系统常常由大量的子组件组成,这些组件按照特定的规则进行信息传输和交换,大大增加了系统发生故障的风险。故障是一种改变系统预期行为的事件,它使系统的性能和产量降低,甚至发生严重后果。最近几十年,无论在学术界还是工业界,故障诊断都是一个活跃的研究领域。故障诊断的目的在于根据系统的输出信息及时准确地检测故障的数量和位置,从而修复故障并恢复系统。故障诊断最直接的方式就是对系统各组件的参数进行测量和统计,这种方式虽简单易行,但只能应用于已建成的系统,不能为系统的设计和维护提供理论指导和定性分析。因此,学术界提出了许多系统化的基于数学模型的故障诊断方法,这些方法不但描述了故障检测算法,并且提供了用来分析故障的各种理论工具。本论文使用故障Petri网(faulty Petri net)模型和无故障Petri网(fault-free Petri net)模型探讨故障诊断问题。故障Petri网模型不但描述了系统的正常行为,而且包含了系统的各种故障行为。故障Petri网常常可以给出准确的故障信息,但由于我们在建模时不得...
【文章来源】:西安电子科技大学陕西省 211工程院校 教育部直属院校
【文章页数】:125 页
【学位级别】:博士
【文章目录】:
摘要
ABSTRACT
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Fault Diagnosis Based on Faulty Petri Nets
1.2 Fault Diagnosis Based on Fault-Free Petri Nets
1.2.1 Petri Net Identification
1.2.2 Fault Identification
1.3 Thesis Organization
Chapter 2 Preliminary
2.1 Petri Nets
2.2 Labeled Petri Nets
2.3 Logical Constraints Transformation
Chapter 3 Fault Diagnosis of Labeled Petri Nets Using an Overall Fault Status
3.1 Motivation
3.2 Diagnosis Problem With an Overall Fault Status
3.3 ILP-Based Solution
3.4 Diagnosability and Overall Fault Status
3.5 Case Study
3.6 Conclusion
Chapter 4 Optimistic and Pessimistic Fault Diagnosis for Labeled Petri Nets
4.1 Diagnosis-Function Approaches for Fault Diagnosis
4.2 Optimistic and Pessimistic Diagnosis
4.3 From Partially Labeled PNs to Labeled PNs
4.4 Extension of Basis-Marking-Based Approach
4.4.1 Conversion of a Pessimistic Approach to Optimistic Case
4.4.2 Extension from Partially Labeled PNs to Labeled PNs
4.5 Case Study
4.6 Conclusion
Chapter 5 Fault Identification Using Partially Observed Petri Nets
5.1 Motivation
5.2 Basic Definitions
5.3 Problem Statement
5.4 Main Results
5.4.1 Fault Identification
5.4.2 Linear Representation of Constraints
5.4.3 Complexity Analysis
5.4.4 Acyclicity Assurance of the Solution
5.5 Numerical Example
5.6 Conclusion
Chapter 6 Fault Identification Using Fault-Free Petri Nets With Unobservable Transitions
6.1 Position of the Chapter
6.2 Basic Definitions
6.3 Problem Statement
6.4 Fault Identification
6.4.1 Main Result
6.4.2 Constraints Linearization
6.4.3 Complexity Analysis
6.5 Acyclicity Assurance of The Solution
6.6 Numerical Example
6.6.1 Case 1
6.6.2 Case 2
6.7 Conclusion
Chapter 7 Conclusions
Reference
Acknowledgement
Biography
本文编号:2895087
【文章来源】:西安电子科技大学陕西省 211工程院校 教育部直属院校
【文章页数】:125 页
【学位级别】:博士
【文章目录】:
摘要
ABSTRACT
List of Symbols
List of Abbreviations
Chapter 1 Introduction
1.1 Fault Diagnosis Based on Faulty Petri Nets
1.2 Fault Diagnosis Based on Fault-Free Petri Nets
1.2.1 Petri Net Identification
1.2.2 Fault Identification
1.3 Thesis Organization
Chapter 2 Preliminary
2.1 Petri Nets
2.2 Labeled Petri Nets
2.3 Logical Constraints Transformation
Chapter 3 Fault Diagnosis of Labeled Petri Nets Using an Overall Fault Status
3.1 Motivation
3.2 Diagnosis Problem With an Overall Fault Status
3.3 ILP-Based Solution
3.4 Diagnosability and Overall Fault Status
3.5 Case Study
3.6 Conclusion
Chapter 4 Optimistic and Pessimistic Fault Diagnosis for Labeled Petri Nets
4.1 Diagnosis-Function Approaches for Fault Diagnosis
4.2 Optimistic and Pessimistic Diagnosis
4.3 From Partially Labeled PNs to Labeled PNs
4.4 Extension of Basis-Marking-Based Approach
4.4.1 Conversion of a Pessimistic Approach to Optimistic Case
4.4.2 Extension from Partially Labeled PNs to Labeled PNs
4.5 Case Study
4.6 Conclusion
Chapter 5 Fault Identification Using Partially Observed Petri Nets
5.1 Motivation
5.2 Basic Definitions
5.3 Problem Statement
5.4 Main Results
5.4.1 Fault Identification
5.4.2 Linear Representation of Constraints
5.4.3 Complexity Analysis
5.4.4 Acyclicity Assurance of the Solution
5.5 Numerical Example
5.6 Conclusion
Chapter 6 Fault Identification Using Fault-Free Petri Nets With Unobservable Transitions
6.1 Position of the Chapter
6.2 Basic Definitions
6.3 Problem Statement
6.4 Fault Identification
6.4.1 Main Result
6.4.2 Constraints Linearization
6.4.3 Complexity Analysis
6.5 Acyclicity Assurance of The Solution
6.6 Numerical Example
6.6.1 Case 1
6.6.2 Case 2
6.7 Conclusion
Chapter 7 Conclusions
Reference
Acknowledgement
Biography
本文编号:2895087
本文链接:https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2895087.html