基于DEDS故障诊断方法在GBM控制系统中的应用

GBM系统作业时由于具有DEDS特性,其故障诊断非常适合采用DEDS故障诊断理论来处理。对DEDS故障诊断基本理论和GBM的故障诊断过程进行了简要的介绍,以GBM灌注系统的故障诊断为例,基于DEDS故障诊断理论对GBM的故障诊断过程进行了详细地分析和说明,实验结果表明:基于DEDS故障诊断理论的诊断结果效果明显,证明了DEDS故障诊断理论在GBM故障诊断中的有效性。     

离散事件系统的无死锁模块化状态反馈控制

本文讨论离散事件系统的无死锁模块化状态反馈问题。首先我们定义自动机的交与并运算，然后通过引入自动机对的Ｄ－不变关系，我们证明当控制目标是两个谓词的交时，模块化状态反馈控制器是无死锁的充要条件是各子控制器是无死锁的且相应的控制器满足Ｄ－不变关系。我们证明了一个给定的自动机对于另一自动机的Ｄ－不变子自动机类有最大元存大，并由此给出一个综合算法。     

分布式系统基于比较的故障诊断

1.引言 分布式系统的故障诊断通常采用系统级诊断的方法,即让每个节点机对某些节点机进行测试,然后综合分析所有的测试结果,确定故障单元,针对这种测试模型前人已作了大量研究,其中最经典的文章就是文[1]。这些结果在理论上都比较完善,却难以应用于实际系统,其主要原因就是这种诊断模型都假设已经拥有了能检测所有故障的测试,事实上这种完备的测试几乎不可能存在,为解决这个问题,文[2—4]提出了让执行相同任     

广域网带修复的分布式系统级诊断算法

对计算机的系统级故障进行诊所的研究已发展了几十年,随着计算机网络的发展,将系统级故障诊断的思想用于计算机网络的故障诊断中,相应也取得了许多成果。本文的研究根据现代计算机网络的特点,提出了在三值模型的基础上,对网络进行分布式系统级故障诊断的算法,它主要有以下特点: ①适用于一般拓扑结构,特别是广域网系统,为了保证诊断的正确性,每次只诊断出一个故障结点加以维修,即采用顺序诊断方法。     

参数摄动时一类离散事件动态系统的渐近性能估计和鲁棒性条件*

本文针对一类在极大代数上可表示为线性模型的离散事件动态系统,讨论了参数摄动对系统周期稳态性能的影响,给出了定量估计参数摄动下性能改变量的一个关系式,建立了性能对参数摄动不敏感的鲁棒性条件。本文的结果,对确定系统参数的允许摄动范围,使之不破坏离散生产过程的有序和协调运行,是有指导意义的。     

一类DEDS最优调度算法的改进

进一步研究一类ＤＥＤＳ最优调度问题,用极大代数方法得到了目标函数所有参数的简化公式,从而完善并改进了最优调度算法。该结果可用于含存储器的串行生产线。     

具有多项式时间复杂性的离散事件系统安全诊断

离散事件系统的故障诊断能将已发生的不可观故障事件及时诊断出来,但往往容易忽略故障诊断期间系统的安全性.为解决这一问题,提出了一种具有多项式时间复杂性的安全故障诊断方法.先对离散事件系统的安全可诊断性进行了形式化,再通过构造一个非法语言识别器对系统被禁止操作序列进行识别,并在此基础上构建了一个对系统实施安全诊断的安全验证器,得到了一个关于离散事件系统安全可诊断性的充分必要条件,实现了对系统的安全故障诊断.同时,通过对安全验证器的构建与安全可诊断性的判定的复杂性分析,得到了该安全故障诊断方法可在多项式时间内实现等结论.     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Petri网,并用它为一类混杂系统建模:宏观为Petri网;微观为变形的线性时不变状态方程.同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程.     

一类受控Petri网的反馈控制综合方法

讨论受控Ｐｅｔｒｉ网的一类禁止状态避免问题，该类禁止状态用广义互 约束的形式给出。     

离散事件系统的同步诊断算法

针对传统系统建模方法需要假设模型完备的缺点,提出一种通过同步各部件模型的方法来解决不完备建模所导致的不完全诊断。对于离散事件系统的动态诊断进行优化,利用分布式的思想与Petri网的性质,使得各部件可以独立、并行地进行诊断,提高了诊断的速度。同时对提出的同步方法进行了可行性分析和简单实现,得到了较好的结果。     

Delay-robustness in distributed control of timed discrete-event systems based on supervisor localisation

Recently, we studied communication delay in distributed control of untimed discrete-event systems based on supervisor localisation. We proposed a property called delay-robustness: the overall system behaviour controlled by distributed controllers with communication delay is logically equivalent to its delay-free counterpart. In this paper, we extend our previous work to timed discrete-event systems, in which communication delays are counted by a special clock event tick. First, we propose a timed channel model and define timed delay-robustness; for the latter, a verification procedure is presented. Next, if the delay-robust property does not hold, we introduce bounded delay-robustness, and present an algorithm to compute the maximal delay bound (measured by number of ticks) for transmitting a channelled event. Finally, we demonstrate delay-robustness on the example of an under-load tap-changing transformer.     

Modular abstractions for verifying real-time distributed systems

In this work we present a verification methodology for real-time distributed systems, based on their modular decomposition into processes. Given a distributed system, each of its components is reduced by abstracting away from details that are irrelevant for the required specification. The abstract components are then composed to form an abstract system to which a model checking procedure is applied. The abstraction relation and the specification language guarantee that if the abstract system satisfies a specification, then the original system satisfies it as well.The specification languageRTL is a branching-time version of the real-time temporal logicTPTL presented in Alur and Henzinger [1]. Its model checking is linear in the size of the system and exponential in the size of the formula. Two notions of abstraction for real-time systems are introduced, each preserving a sublanguage ofRTL.     

Regional constrained control problem for a class of semilinear distributed systems

The aim of this paper is to investigate a regional constrained optimal control problem for a class of semilinear distributed systems, which are linear in the control but nonlinear in the state. For a quadratic cost functional and a closed convex set of admissible controls, the existence of an optimal control is proven, and then this is characterized for three cases of constraints. A useful algorithm is developed, and the approach is illustrated through simulations for a heat equation.     

Distributed fault diagnosis in a class of interconnected nonlinear uncertain systems

In this article, a distributed fault detection and isolation (FDI) method is developed for a class of interconnected nonlinear uncertain systems. In the distributed FDI architecture, a FDI component is designed for each subsystem in the interconnected system. For each subsystem, its corresponding local FDI component is designed by utilising local measurements and certain communicated information from neighbouring FDI components associated with subsystems that are directly interconnected to the particular subsystem under consideration. Under certain assumptions, adaptive thresholds for distributed FDI in each subsystem are derived, ensuring robustness with respect to interactions among subsystems and system modelling uncertainty. Moreover, the fault detectability and isolability conditions are rigorously investigated, characterising the class of faults in each subsystem that are detectable and isolable by the proposed distributed FDI method. Additionally, the stability and learning capability of the local adaptive fault isolation estimators designed for each subsystem is established. A simulation example of interconnected inverted pendulums mounted on carts is used to illustrate the effectiveness of the method.     

Regional optimal control for a class of semilinear systems with distributed controls

This paper considers a regional optimal control problem for a class of semilinear infinite dimensional systems, with distributed controls. The existence of an optimal control is proven, and then this control is characterised for four cases of admissible controls. Theoretical results lead to a useful algorithm, that we illustrate by simulations of two heat equations.     

一类具有变时滞不确定分布参数系统的滑动模控制

研究一类不确定变时滞分布参数系统的滑动模控制问题．首先设计一种无记忆功能的变结构控制器;然后分析了在滑动模切换面上滑动模控制系统关于不确定量的不变性特征;最后给出了从任意初始位置出发的轨线到达滑动模态区的时间估计．研究表明,所设计的控制器结构简单．容易实现．     

一类非线性系统故障诊断观测器设计

大多故障诊断算法集中在线性系统方面, 在非线性方面只考虑故障对状态起线性影响的那些系统. 本文根据系统的非线性本质特性, 提出了基于模型的一类非线性系统故障诊断观测器设计方法. 应用系统的(B;K; á)实现精确分解后的系统模型, 对它们的状态故障起非线性的影响. 采用干扰解耦技术,获得的残差对未知扰动有很好的鲁棒性. 在Lyapunov意义下, 验证了算法的稳定性. 仿真验证表明, 所提算法具有快速收敛性, 对一类非线性系统诊断效果较好.     

Observer-based event-triggered distributed model predictive control for a class of nonlinear interconnected systems

In this paper, an observer-based event-triggered distributed model predictive control method is proposed for a class of nonlinear interconnected systems with bounded disturbances, considering unmeasurable states. First of all, the state observer is constructed. It is proved that the observation error is bounded. Second, distributed model predictive controller is designed by using observed value. Meanwhile, the event-triggered mechanism is set by using the error between the actual output and the predicted output. The setting of event-triggered mechanism not only ensures the error between the actual output and the predicted output within a certain range, but also reduces the calculation amounts of solving the optimization problem. The states of each subsystem enter the terminal invariant set by distributed model predictive control, and then are stabilized in the invariant set under the action of output feedback control law. In addition, sufficient conditions are given to ensure the feasibility of the algorithm and the stability of the closed-loop system. Finally, the numerical example is given, and the simulation results verify the effectiveness of the proposed algorithm.     

Adaptive open loop control for a class of distributed parameter systems

The real time implementation of closed loop control laws obtained by the minimization of a quadratic criterion with finite time intervals is a difficult problem, if we consider computing time and the eventual determination of the state variables. It would seem useful therefore to define, for complex systems such as distributed parameter systems, a control type which unites the advantages of open loop control, with its relative simplicity of implementation, and those of closed loop control, with its ability to reduce perturbations. It is for this reason that we use the principle of adaptive open loop control. In this paper, we describe the principles of such a method and results obtained from one example studied by numerical computation or hybrid simulation in real time.