分布式随机离散事件系统的模式故障预测EI北大核心CSCD

本文以随机自动机为模型,研究分布式随机离散事件系统的模式故障预测问题.首先根据分布式随机离散事件系统的分布特性对模式故障协同可预测性概念进行形式化,并通过构造模式故障识别器来识别系统中发生的模式故障.然后,构造一个模式故障协同预测器,提出一种基于协同预测器的具有多项式复杂度的算法,得到关于分布式随机离散事件系统模式故障协同可预测性的充分必要条件,实现对分布式随机离散事件系统的模式故障预测.     

模糊离散事件系统基于验证器的模式故障诊断

针对模糊系统在运行过程中可能出现由多个事件触发的故障,研究模糊离散事件系统模式故障的诊断问题,提出一种基于验证器的模式故障诊断方法.先对模糊离散事件系统中最常见的模式故障,引入S类型模式故障和T类型模式故障两个概念,再分别对模糊离散事件系统的S类型和T类型模式故障的可诊断性进行形式化.为验证模糊系统模式故障的可诊断性,构造一个验证器自动机,并得到一个关于模糊离散事件系统模式故障可诊断性的充分必要条件,实现对模糊系统模式故障的诊断.     

分层离散事件系统的不透明性

针对离散事件系统（DES）的不透明性问题，结合具有分层（hierarchical）结构的自动机模型，提出了分层离散事件系统的不透明性.对分层离散事件系统进行标准化，给出了分层离散事件系统不透明性和K延迟不透明性两个概念.为了对分层离散事件系统的两种不透明性进行验证，分别构造了两种相应的不透明性验证器，得到了关于不透明性和K延迟不透明性的充分必要条件，并对构造不透明性验证器的复杂度进行了分析.     

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

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

观测永久丢失下随机离散事件系统故障预测的验证算法

针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离散事件系统的U-预测器,实现了系统的故障预测。基于U-预测器,提出了随机离散事件系统U-可预测性的充分必要条件及验证算法,并且引入成对的方式,明显地改进了该验证算法的复杂度。仿真结果表明,该验证算法使得观测永久丢失下系统故障预测准确。最后,实例说明观测永久丢失下故障预测验证算法的应用。结果表明,该验证算法相比现有同类验证算法应用范围更广,验证结果更精确。     

基于不确定观测下离散事件系统可诊断性的研究

在实际应用系统中,由于传感器故障、传感器限制和网络中的数据包丢失等原因,事件的可观测值变得不确定,使得观测系统行为变得尤为复杂。针对离散事件系统中,同个事件串可能有多个观测值以及不同状态下同个事件观测值也可能不同的问题,提出一种不确定观测下故障诊断验证的方法。首先对不确定观测的离散事件系统的可诊断性进行形式化,然后构建出用于上述故障诊断验证的验证器;基于验证器提出了系统基于不确定观测下可诊断的充要条件及验证算法;最后,实例说明不确定观测下故障诊断验证算法的应用。与现有研究相比,提出的方法对故障事件的观测值没有约束,可以为0个或多个观测值,使此方法应用的场景更为广泛。     

离散事件系统间歇性故障的安全诊断

离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.     

分布式加权离散事件系统的协同可测性

针对状态转移会携带对应定量信息的分布式系统的可测性问题以加权自动机为模型，研究其协同可测性。首先对分布式加权离散事件系统的强协同可测性和弱协同可测性进行形式化；随后提出基于各分站点观察器构造协同观察器的算法，并得到分布式加权离散事件系统强协同可测性和弱协同可测性的充要条件；最后，给出协同可测性在无线传感器网络系统的一个应用实例。     

模糊离散事件系统的可测性

针对模糊离散事件系统的可测性问题，提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为；然后构造一个基于极小可观测事件的观察器，建立不可区分串与观察器中非单元循环的一一对应关系，并由此得到模糊可测性的充要条件。同时，也给出一个验证模糊离散事件系统可测性算法。通过实例分析，说明模糊离散事件系统可测性的应用。     

一种新的神经模糊系统及其学习算法

本文提出一种规则结论部分的语言变量具有离散隶属度函数的、基于Mamdani形规则的新神经模糊系统,并描述了它的学习算法.新神经模糊系统由模糊推理系统及其一一对应的神经网络系统构成.在只有训练数据的情况下,首先提出了一种基于RBF神经网络的模糊建模方法.而在模糊推理系统由模糊建模或者直接由专家经验知识确定后,应用梯度下降法优化神经网络系统参数.倒立摆控制和时间序列预测的仿真试验体现了本文提出的新的神经模糊系统的可用性和优越性.     

Supervisory control of fuzzy discrete event systems: a formal approach.

Fuzzy discrete event systems (DESs) were proposed recently by Lin and Ying [19], which may better cope with the real-world problems of fuzziness, impreciseness, and subjectivity such as those in biomedicine. As a continuation of [19], in this paper, we further develop fuzzy DESs by dealing with supervisory control of fuzzy DESs. More specifically: 1) we reformulate the parallel composition of crisp DESs, and then define the parallel composition of fuzzy DESs that is equivalent to that in [19]. Max-product and max-min automata for modeling fuzzy DESs are considered, 2) we deal with a number of fundamental problems regarding supervisory control of fuzzy DESs, particularly demonstrate controllability theorem and nonblocking controllability theorem of fuzzy DESs, and thus, present the conditions for the existence of supervisors in fuzzy DESs; 3) we analyze the complexity for presenting a uniform criterion to test the fuzzy controllability condition of fuzzy DESs modeled by max-product automata; in particular, we present in detail a general computing method for checking whether or not the fuzzy controllability condition holds, if max-min automata are used to model fuzzy DESs, and by means of this method we can search for all possible fuzzy states reachable from initial fuzzy state in max-min automata. Also, we introduce the fuzzy n-controllability condition for some practical problems, and 4) a number of examples serving to illustrate the applications of the derived results and methods are described; some basic properties related to supervisory control of fuzzy DESs are investigated. To conclude, some related issues are raised for further consideration.     

Decentralized supervisory control of discrete event systems with communication delays based on conjunctive and permissive decision structures

In many practical discrete event systems (DESs), some unexpected and uncontrollable events can subsequently occur before a proper control action is actually applied to a plant due to communication delays. For such DESs, this paper investigates necessary and sufficient conditions for the existence of a nonblocking decentralized supervisor that can correctly achieve a given language specification when the decentralized supervisor is assumed to have a conjunctive and permissive decision structure. In particular, this paper presents a notion of delay-coobservability for a given language specification and shows that it is a key condition for the existence of such a decentralized supervisor.     

A new algorithm for testing diagnosability of fuzzy discrete event systems

Failure diagnosis and detection of fuzzy discrete event systems play a significant role in the study of complex systems. In this paper, we investigate the diagnosability of fuzzy discrete event systems by proposing a new algorithm based on the concept of undistinguishable strings. Moreover, a necessary and sufficient condition for fuzzy diagnosability is obtained in terms of certain properties of the diagnoser, which is constructed with respect to the minimal observable event. The computing process to check the diagnosability of fuzzy DESs and some examples serving to illuminate the applications are developed and described.     

双线性系统的静态分散输出控制

研究了一类T-S双线关联系统的静态输出控制反馈问题。应用分散控制理论,得到了闭环关联大系统Lyapunov稳定的充分条件。相应的分散模糊控制器可由线性矩阵不等式(LMD的解得到。最后,由数例仿真验证了所提方法的有效性。     

一类离散非线性不确定互联系统的模糊分散控制

利用模糊控制方法研究一类离散非线性互联系统的分散控制问题.首先采用模糊(T-S)模型对离散非线性不确定互联系统进行模糊建模,应用并行分布补偿算法(PDC)给出状态反馈分散模糊控制方案,并基于李亚普诺夫函数方法证明了闭环系统的稳定性.然后当系统的状态不完全可测时,设计模糊分散观测器来估计各子系统的状态,从而给出基于观测器的状态反馈分散模糊控制设计的方法.因为该分散模糊控制设计问题是以线性矩阵不等式的形式给出,所以很容易用凸优化方法求解.仿真结果验证了所提出控制方法的有效性.     

基于线性矩阵不等式的参数不确定性关联模糊大系统的分散鲁棒镇定

讨论了参数不确定性关联模糊大系统的分散鲁棒镇定问题,所考虑的参数不确定性满足范数有界条件.基于李雅普诺夫稳定性理论及大系统分散控制理论,采用分散化PDC(parallel distributed compensation)控制器,给出了保证该关联模糊大系统闭环渐近稳定的LMI形式的充分条件,通过MATLAB软件中的LMI工具箱可求解出这些LMI中的控制器参数.仿真例子说明了所提方法的有效性.     

H∞ decentralized fuzzy model reference tracking controldesign for nonlinear interconnected systems

In general, due to the interactions among subsystems, it is difficult to design an H_∞ decentralized controller for nonlinear interconnected systems. The model reference tracking control problem of nonlinear interconnected systems is studied via H_∞ decentralized fuzzy control method. First, the nonlinear interconnected system is represented by an equivalent Takagi-Sugeno type fuzzy model. A state feedback decentralized fuzzy control scheme is developed to override the external disturbances such that the H∞ model reference tracking performance is achieved. Furthermore, the stability of the nonlinear interconnected systems is also guaranteed. If states are not all available, a decentralized fuzzy observer is proposed to estimate the states of each subsystem for decentralized control. Consequently, a fuzzy observer-based state feedback decentralized fuzzy controller is proposed to solve the H_∞ tracking control design problem for nonlinear interconnected systems. The problem of H _∞ decentralized fuzzy tracking control design for nonlinear interconnected systems is characterized in terms of solving an eigenvalue problem (EVP). The EVP can be solved very efficiently using convex optimization techniques. Finally, simulation examples are given to illustrate the tracking performance of the proposed methods     

Adaptive fuzzy decentralized control for interconnected MIMO nonlinear subsystems

This paper describes an adaptive fuzzy control strategy for decentralized control for a class of interconnected nonlinear systems with MIMO subsystems. An adaptive robust tracking control schemes based on fuzzy basis function approach is developed such that all the states and signals are bounded. In addition, each subsystem is able to adaptively compensate for disturbances and interconnections with unknown bounds. The resultant adaptive fuzzy decentralized control with multi-controller architecture guarantees stability and convergence of the output errors to zero asymptotically by local output-feedback. An extensive application example of a three-machine power system is discussed in detail to verify the effectiveness of the proposed algorithm.