共查询到18条相似文献,搜索用时 62 毫秒
1.
2.
针对随机离散事件系统在故障预测时可能出现系统观测永久丢失,导致预测不准确的问题,提出一种观测永久丢失下故障预测验证的算法。首先对观测永久丢失的随机离散事件系统的U-可预测性进行了形式化。其次使用随机预测器构造了一个随机离散事件系统的U-预测器,实现了系统的故障预测。基于U-预测器,提出了随机离散事件系统U-可预测性的充分必要条件及验证算法,并且引入成对的方式,明显地改进了该验证算法的复杂度。仿真结果表明,该验证算法使得观测永久丢失下系统故障预测准确。最后,实例说明观测永久丢失下故障预测验证算法的应用。结果表明,该验证算法相比现有同类验证算法应用范围更广,验证结果更精确。 相似文献
3.
4.
5.
6.
传统多机器人系统的运动控制主要依赖于机器人的动力学方程或运动学方程,通过求解微分方程组来获得机器人的输入控制信号.随着系统中机器人数量的增加和运行环境的复杂化,动力学方程很难描述多机器人系统的运动行为,且无法很好地解决诸如死锁等逻辑故障.本文简略综述了国内外的研究现状,重点介绍笔者所在研究组开展的关于离散事件系统方法在多机器人运动控制方面的应用性研究工作.其动机在于:1)基于离散事件系统方法的运动控制能够有效地解决系统运行过程中产生的诸如死锁等逻辑故障.首先,利用离散事件系统模型对多机器人系统的运动进行建模,从而降低计算复杂性;其次,基于所得离散事件系统模型,设计分布式安全运动控制算法,使各个机器人可以自主地、无碰撞地、无死锁地运动;设计分布式鲁棒运动控制算法,使得失效的机器人对系统的影响最小.2)基于离散事件系统方法的运动控制策略可以结合传统的基于运动学方程的运动控制方法,从而使系统不但能够避免顶层的逻辑故障,而且能够确定机器人执行器的输入信号. 相似文献
7.
8.
9.
离散事件系统分布式仿真的集中并行控制 总被引:2,自引:0,他引:2
详细介绍了离散事件系统异步仿真中的一种保守的事件/时间管理策略。包括集中式并行控制机制的基本框架、一些概念、定律以及相应的并行算法,最后举例说明了集中式并行算法的控制流程。 相似文献
10.
本文首先介绍了离散事件系统的异步分布式仿真方法,然后,针对任务分配问题,发展了一种启发式算法,它由过程聚类和过程重新分配两部分组成。 相似文献
11.
Diagnosability property ensures that a predefined set of faults are diagnosable by a centralized diagnoser built using a global model of the system, while co-diagnosability guarantees that these faults are diagnosed in decentralized manner using a set of local diagnosers. A fault must be diagnosed by at least one local diagnoser by using its proper local observation of the system. The aim of using decentralized diagnosis approaches is to overcome the space complexity and weak robustness of centralized diagnosis approaches while at the same time preserving the diagnostic capability of a centralized diagnosis. However, co-diagnosability property is stronger than diagnosability property. If a system is co-diagnosable, then it is diagnosable, while a diagnosable system does not ensure that it is co-diagnosable. Therefore, the challenge of decentralized diagnosis approaches is to perform local diagnosis and to verify that it is equivalent to the centralized one without the need for a global model. In this paper, an approach is proposed to obtain co-diagnosable decentralized diagnosis structure of discrete event systems without the use of a global model. This approach is based on the synchronization of local diagnosis decisions in order to solve the ambiguity between local diagnosers. This synchronization allows obtaining local diagnosis equivalent to the global one without the use of a global model. 相似文献
12.
研究了混合信息下的分散监控综合问题.首先提出δ-可观察(hδ-可观察)可控闭语言是(状态部分可观察下)状态反馈综合解存在的充要条件,并由此得到n-联合可观察、可控闭的系统约束是保证混合分散监控器存在的充要条件,进而得到纯分散监控器(控制器)存在的充要条件为n-可观察(n-hδ-可观察)可控闭语言被满足.最后,又通过研究系统约束与混合约束的关系,提出混合分散监控器存在的充分条件是可观察、可控闭语言与可观察可控谓词被满足. 相似文献
13.
14.
This paper is concerned with the simultaneous fault detection and control problem for Itô-type stochastic time-delay systems. A full-order dynamic output feedback controller is designed to achieve the desired control and detection objectives. The main contributions of this paper are as follows: (1) for stochastic time-delay systems, the controller design with multiple objectives can be addressed by employing the multiple Lyapunov functions approach, (2) the dynamic output feedback controller synthesis conditions described by linear matrix inequalities (LMIs) are derived and (3) within the proposed fault detection and control framework, a better integrated control and detection performance can be obtained. Some numerical examples including the comparison results are presented to show the advantages of the proposed method. 相似文献
15.
16.
This article investigates the fault estimation and fault tolerant control (FTC) problems for linear stochastic uncertain systems. By introducing the fictitious noise, the fault is augmented as part of the systems state, and then a robust estimator is proposed to simultaneously obtain the state and fault estimation. Based on the estimated information, the active FTC is presented to eliminate the impact of the fault. Finally, a simulation example is conducted to demonstrate the effectiveness of our main method. 相似文献
17.
A discrete event system possesses the property of detectability if it allows an observer to perfectly estimate the current state of the system after a finite number of observed symbols, i.e., detectability captures the ability of an observer to eventually perfectly estimate the system state. In this paper we analyze detectability in stochastic discrete event systems (SDES) that can be modeled as probabilistic finite automata. More specifically, we define the notion of A-detectability, which characterizes our ability to estimate the current state of a given SDES with increasing certainty as we observe more output symbols. The notion of A-detectability is differentiated from previous notions for detectability in SDES because it takes into account the probability of problematic observation sequences (that do not allow us to perfectly deduce the system state), whereas previous notions for detectability in SDES considered each observation sequence that can be generated by the underlying system. We discuss observer-based techniques that can be used to verify A-detectability, and provide associated necessary and sufficient conditions. We also prove that A-detectability is a PSPACE-hard problem. 相似文献
18.
The notion of diagnosability of stochastic discrete-event systems (SDESs) was introduced in the literature, but the method for verifying the diagnosability of SDESs was exponential. However, is there a sufficient condition of diagnosability of SDESs that can be tested with polynomial method? In this paper, we present a sufficient condition of diagnosability of SDESs based on a constructive testing automaton, and a polynomial method is proposed to test the condition. 相似文献