赋时离散事件系统的故障诊断方法研究
发布时间：2019-05-22 12:51
【摘要】：离散事件系统是以状态系列和事件系列刻画系统演化过程的逻辑类系统。此类系统显著的功能是利用控制策略,只允许某些符合策略的事件系列发生以达到某种工程需求;普遍应用于通讯、交通等公共服务设施和计算机信息处理等重要领域。随着科学技术的发展,此类系统结构日趋复杂,故障频发;以往的故障诊断技术益发捉襟见肘。后由Sampath等人提出离散事件系统的基于诊断器诊断的方法解决了这一难题。基于诊断器诊断方法其实是对系统扩充性地构造其诊断器,诊断器可与系统并行运行,并通过分析诊断器状态判断系统是否发生故障。尽管由Sampath等提出的离散事件系统的故障诊断方法能有效地诊断系统故障,但是并未考虑在系统故障诊断期间的安全性问题,为此Paoli等人在Sampath的基础上进一步研究了离散事件系统的安全诊断方法。此方法已被推广至各类系统,用于解决系统故障的安全性诊断问题。已推广应用的系统包括:随机离散事件系统、模糊离散事件系统等。赋时离散事件系统是高时效性类系统,系统的建模不仅需要考虑其运行过程的逻辑行为,还需要进一步捕捉运行过程中的一些时间信息。它在计算机通讯、工业加工及自动化控制等领域都有着极其广泛的应用。故为这类系统寻求一种更安全的故障诊断方法不仅具有理论意义而且具有现实意义。本文在赋时离散事件系统的框架下以Paoli等人提出的离散事件系统安全诊断方法为算法基础,针对一类以自动机为模型的赋时离散事件系统,研究其系统故障诊断的安全性问题,提出一种赋时离散事件系统的安全诊断方法。首先结合实际系统的逻辑信息和时间信息对赋时离散事件进行模型的构造;然后对赋时离散事件系统的安全可诊断性进行形式化刻画;再通过构造赋时离散事件系统非法语言识别器对系统的被禁止操作序列进行识别,以保证在故障诊断期间系统若执行了被禁止的操作能及时将其识别到的信息反馈给系统;并在已构造的系统非法语言识别器的基础上构建系统的安全诊断器,用于在线或者离线地诊断系统的故障;最后分析安全诊断器的状态得到了一个关于赋时离散事件系统安全可诊断性的充分必要条件,实现了赋时离散事件系统的安全诊断,既保证了故障事件一旦发生之后能及时被诊断出来,又确保了系统在故障诊断期间不会执行任何不安全操作。最后,给出实例验证,验证赋时离散事件系统安全可诊断定理的科学性。
[Abstract]:Discrete event system is a logical class system which describes the evolution process of the system by state series and event series. The remarkable function of this kind of system is to use control strategy to allow only some policy-compliant event series to occur to meet certain engineering requirements, and is widely used in communication, transportation and other important areas such as public service facilities and computer information processing. With the development of science and technology, the structure of this kind of system is becoming more and more complex, and the fault diagnosis technology in the past is more and more stretched. After that, Sampath et al proposed a diagnostic method based on diagnostics for discrete event systems to solve this problem. In fact, the diagnostic device is constructed based on the diagnostic method of the diagnostics. The diagnostics can run in parallel with the system, and the fault of the system is judged by analyzing the state of the diagnostics. Although the fault diagnosis method of discrete event system proposed by Sampath et al can effectively diagnose system fault, the security problem during system fault diagnosis is not considered. For this reason, Paoli et al further studied the security diagnosis method of discrete event systems on the basis of Sampath. This method has been extended to all kinds of systems to solve the problem of system fault security diagnosis. The systems that have been popularized and applied include stochastic discrete event system, fuzzy discrete event system and so on. Timing discrete event system is a kind of system with high timeliness. The modeling of the system not only needs to consider the logical behavior of its running process, but also needs to further capture some time information in the running process. It is widely used in computer communication, industrial processing and automatic control. Therefore, it is not only of theoretical significance but also practical significance to find a more secure fault diagnosis method for this kind of system. In this paper, based on the security diagnosis method of discrete event systems proposed by Paoli et al., the security of fault diagnosis for a class of time-dependent discrete event systems based on automata is studied in the framework of time-dependent discrete event systems. A security diagnosis method for time-dependent discrete event systems is proposed. Firstly, the model of timing discrete events is constructed according to the logical information and time information of the actual system, and then the security diagnostics of timing discrete event systems are formally characterized. Then the illegal language recognizer of the timing discrete event system is constructed to identify the prohibited operation sequence of the system, so as to ensure that if the prohibited operation is performed during the fault diagnosis, the recognized information can be fed back to the system in time. On the basis of the constructed illegal language recognizer, the security diagnostics of the system are constructed, which can be used to diagnose the faults of the system online or offline. Finally, the state of the security diagnostics is analyzed, and a necessary and sufficient condition for the security diagnostics of the timing discrete event system is obtained, and the security diagnosis of the timing discrete event system is realized. It not only ensures that the fault event can be diagnosed in time after the fault event occurs, but also ensures that the system will not perform any unsafe operation during the fault diagnosis. Finally, an example is given to verify the scientific nature of the security diagnostics theorem for time-dependent discrete event systems.
【学位授予单位】：广东工业大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP277
本文编号：2482954
[Abstract]:Discrete event system is a logical class system which describes the evolution process of the system by state series and event series. The remarkable function of this kind of system is to use control strategy to allow only some policy-compliant event series to occur to meet certain engineering requirements, and is widely used in communication, transportation and other important areas such as public service facilities and computer information processing. With the development of science and technology, the structure of this kind of system is becoming more and more complex, and the fault diagnosis technology in the past is more and more stretched. After that, Sampath et al proposed a diagnostic method based on diagnostics for discrete event systems to solve this problem. In fact, the diagnostic device is constructed based on the diagnostic method of the diagnostics. The diagnostics can run in parallel with the system, and the fault of the system is judged by analyzing the state of the diagnostics. Although the fault diagnosis method of discrete event system proposed by Sampath et al can effectively diagnose system fault, the security problem during system fault diagnosis is not considered. For this reason, Paoli et al further studied the security diagnosis method of discrete event systems on the basis of Sampath. This method has been extended to all kinds of systems to solve the problem of system fault security diagnosis. The systems that have been popularized and applied include stochastic discrete event system, fuzzy discrete event system and so on. Timing discrete event system is a kind of system with high timeliness. The modeling of the system not only needs to consider the logical behavior of its running process, but also needs to further capture some time information in the running process. It is widely used in computer communication, industrial processing and automatic control. Therefore, it is not only of theoretical significance but also practical significance to find a more secure fault diagnosis method for this kind of system. In this paper, based on the security diagnosis method of discrete event systems proposed by Paoli et al., the security of fault diagnosis for a class of time-dependent discrete event systems based on automata is studied in the framework of time-dependent discrete event systems. A security diagnosis method for time-dependent discrete event systems is proposed. Firstly, the model of timing discrete events is constructed according to the logical information and time information of the actual system, and then the security diagnostics of timing discrete event systems are formally characterized. Then the illegal language recognizer of the timing discrete event system is constructed to identify the prohibited operation sequence of the system, so as to ensure that if the prohibited operation is performed during the fault diagnosis, the recognized information can be fed back to the system in time. On the basis of the constructed illegal language recognizer, the security diagnostics of the system are constructed, which can be used to diagnose the faults of the system online or offline. Finally, the state of the security diagnostics is analyzed, and a necessary and sufficient condition for the security diagnostics of the timing discrete event system is obtained, and the security diagnosis of the timing discrete event system is realized. It not only ensures that the fault event can be diagnosed in time after the fault event occurs, but also ensures that the system will not perform any unsafe operation during the fault diagnosis. Finally, an example is given to verify the scientific nature of the security diagnostics theorem for time-dependent discrete event systems.
【学位授予单位】：广东工业大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：TP277
【参考文献】
相关期刊论文 前5条
1 刘富春;;非确定型离散事件系统双模拟控制的实现[J];控制理论与应用;2015年01期
2 董炜;陈卫征;徐晓滨;吉吟东;;基于可分性测度的模糊隶属函数确定方法[J];控制与决策;2014年11期
3 方欢;方贤文;李德权;;基于Petri网的故障诊断研究理论的综述[J];计算机科学;2014年03期
4 王晓宇;欧阳丹彤;赵剑;;不完备模型下的离散事件系统诊断方法[J];软件学报;2012年03期
5 宗群;刘利;刘文静;薛寒冰;;DEDS故障诊断方法在电梯中的应用[J];天津大学学报;2006年05期
，本文编号：2482954
本文链接：https://www.wllwen.com/kejilunwen/zidonghuakongzhilunwen/2482954.html
