通过整数线性编程对有限态向量离散事件系统进行基于状态的故障诊断
Qinrui Chen1, Mubariz Garayev2, Ding Liu1
1School of Electro-Mechanical Engineering, Xidian University, Xi'an 710071, China.
Sensors (Basel, Switzerland)
|March 17, 2025
概括
本研究引入了一种用于验证K-诊断性和在向量离散事件系统 (向量DES) 中执行故障诊断的新方法,使用基于状态的输出和整数线性编程.
科学领域:
- 控制系统工程 控制系统工程
- 离散事件系统分析 离散事件系统分析
- 故障诊断和验证工作.
背景情况:
- 有限状态向量离散事件系统 (向量DES) 在故障诊断方面存在挑战,原因是有限的传感器可以部分观察到的状态.
- 现有的方法难以应对矢量DES的复杂性,它在状态和过渡函数中具有算术加法结构.
研究的目的:
- 开发一种基于状态的方法来验证向量DES中的K诊断能力.
- 通过使用部分可观测的输出来实现Vector DES的在线故障诊断.
- 建立K-诊断性验证的必要和充分条件.
主要方法:
- 使用整数线性编程 (ILP) 进行K-诊断性验证.
- 使用向量DES的数学表示.
- 实现基于预言的分析对分区系统输出进行故障检测.
- 应用ILP进行在线故障诊断.
主要成果:
- 建立了基于传感器输出的有限状态矢量DES中K诊断性验证的必要和充分条件.
- 拟议的方法通过分析系统状态输出的子集来有效地在线诊断故障.
- 该方法的有效性通过说明性示例来证明.
结论:
- 本文所介绍的基于状态的方法为K-诊断性验证和Vector DES.在线故障诊断提供了一个强大的框架.
- 整数线性编程是解决离散事件系统中复杂诊断问题的强大工具.
- 基于预言的输出分区提高了故障检测的效率和准确性.
相关概念视频
Multimachine Stability
127
Multimachine stability analysis is crucial for understanding the dynamics and stability of power systems with multiple synchronous machines. The objective is to solve the swing equations for a network of M machines connected to an N-bus power system.
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
In analyzing the system, the nodal equations represent the relationship between bus voltages, machine voltages, and machine currents. The nodal equation is given by:
127
Linear Approximation in Time Domain
59
Nonlinear systems often require sophisticated approaches for accurate modeling and analysis, with state-space representation being particularly effective. This method is especially useful for systems where variables and parameters vary with time or operating conditions, such as in a simple pendulum or a translational mechanical system with nonlinear springs.
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
For a simple pendulum with a mass evenly distributed along its length and the center of mass located at half the pendulum's length,...
59
Classification of Systems-I
164
Linearity is a system property characterized by a direct input-output relationship, combining homogeneity and additivity.
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
164
State Space Representation
157
The frequency-domain technique, commonly used in analyzing and designing feedback control systems, is effective for linear, time-invariant systems. However, it falls short when dealing with nonlinear, time-varying, and multiple-input multiple-output systems. The time-domain or state-space approach addresses these limitations by utilizing state variables to construct simultaneous, first-order differential equations, known as state equations, for an nth-order system.
Consider an RLC circuit, a...
Consider an RLC circuit, a...
157
Bus Impedance Matrix
93
Calculating subtransient fault currents for three-phase faults in an N-bus power system involves using the positive-sequence network. When a three-phase short circuit occurs at a specific bus, the analysis uses the superposition method to evaluate two separate circuits.
In the first circuit, all machine voltage sources are short-circuited, leaving only the prefault voltage source at the fault location. The positive-sequence bus impedance matrix can be determined by solving the nodal equations,...
In the first circuit, all machine voltage sources are short-circuited, leaving only the prefault voltage source at the fault location. The positive-sequence bus impedance matrix can be determined by solving the nodal equations,...
93
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
37
Mechanistic models play a crucial role in algorithms for numerical problem-solving, particularly in nonlinear mixed effects modeling (NMEM). These models aim to minimize specific objective functions by evaluating various parameter estimates, leading to the development of systematic algorithms. In some cases, linearization techniques approximate the model using linear equations.
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
37


