一种新的正式方法,用于安全响应时间的上限评估分布式控制系统使用二极形代数
Louis Bal Dit Sollier1, Alain Ourghanlian2, Saïd Amari3
1LURPA, ENS Paris-Saclay, 4 ave. des Sciences, 91190 Gif-sur-Yvette, France; PRISME, EDF Research and Development, 6 quai Watier, 78401 Chatou Cedex, France.
ISA transactions
|November 8, 2024
概括
本研究提供了一种方法来计算分布式控制系统 (DCS) 使用定时事件图 (TEG) 的最大响应时间. 该方法通过计算可靠的响应时间上限来确保系统安全.
科学领域:
- 控制系统工程 控制系统工程
- 实时系统分析 实时系统分析
- 离散事件系统是离散事件系统.
背景情况:
- 分布式控制系统 (DCS) 需要准确的响应时间分析,以确保安全和效率.
- 现有的方法可能无法充分解决DCS中异步事件和分批的复杂性.
研究的目的:
- 开发一种新的方法来计算DCS中响应时间的安全上限.
- 提供适用于具有异步链接的定时事件图 (TEG) 的可靠方法.
主要方法:
- 利用基于M_in_ax二极管的代数表示,用于时间/事件动态.
- 引入了扩展器和操作员来处理事件分批和乘法.
- 在确定性和最坏的情况下计算系统轨迹和转移函数.
主要成果:
- 计算了TEG模型引发的最坏情况下的延迟.
- 成功确定了DCS的响应时间的安全上限.
- 通过数值应用和实验数据验证了拟议的方法.
结论:
- 开发的方法提供了一个模块化和可自动化的方法来确定DCS响应时间的上限.
- 该方法具有多功能性,可以应用于使用TEGs建模的任何DCS.
- 这有助于在复杂的控制系统中加强安全和性能分析.
相关概念视频
Time-Domain Interpretation of PD Control
83
Proportional-Derivative (PD) control is a widely used control method in various engineering systems to enhance stability and performance. In a system with only proportional control, common issues include high maximum overshoot and oscillation, observed in both the error signal and its rate of change. This behavior can be divided into three distinct phases: initial overshoot, subsequent undershoot, and gradual stabilization.
Consider the example of control of motor torque. Initially, a positive...
Consider the example of control of motor torque. Initially, a positive...
83
Linear time-invariant Systems
216
A system is linear if it displays the characteristics of homogeneity and additivity, together termed the superposition property. This principle is fundamental in all linear systems. Linear time-invariant (LTI) systems include systems with linear elements and constant parameters.
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
The input-output behavior of an LTI system can be fully defined by its response to an impulsive excitation at its input. Once this impulse response is known, the system's reaction to any other input can be...
216
SFG Algebra
108
In Signal Flow Graph (SFG) algebra, the value a node represents is determined by the sum of all signals entering that node. This summed value is then transmitted through every branch leaving the node, making the SFG a powerful tool for visualizing and analyzing control systems.
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
108
State Space Representation
165
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...
165
Second Order systems II
90
In an underdamped second-order system, where the damping ratio ζ is between 0 and 1, a unit-step input results in a transfer function that, when transformed using the inverse Laplace method, reveals the output response. The output exhibits a damped sinusoidal oscillation, and the difference between the input and output is termed the error signal. This error signal also demonstrates damped oscillatory behavior. Eventually, as the system reaches a steady state, the error diminishes to zero.
90
Transfer Function in Control Systems
362
The transfer function is a fundamental concept in the analysis and design of linear time-invariant (LTI) systems. It offers a concise way to understand how a system responds to different inputs in the frequency domain. It serves as a bridge between the time-domain differential equations that describe system dynamics and the frequency-domain representation that facilitates easier manipulation and analysis.
To derive the transfer function, consider a general nth-order linear time-invariant...
To derive the transfer function, consider a general nth-order linear time-invariant...
362


