导 师: 邱道文
学科专业: H1202
授予学位: 博士
作 者: ;
机构地区: 中山大学
摘 要: 本文研究模糊离散事件系统(fdes)的监督控制和错误诊断,以及概率离散事件系统(sdes)的错误诊断,具体包括以下四个方面的内容:部分可观测的fdes监督控制和分散监督控制,fdes的错误诊断,sdes的分散诊断,以及sdes的安全诊断。论文研究工作的主要成果表现在以下几个方面。 第一部分是在qiu [2]建立的fdes监督控制理论的基础上,研究了部分可观测的fdes监督控制和分散控制两个问题。将模糊事件的可控性和可观测性定义为两个取值在[0,1]区间的函数,然后在部分可观测下分别将模糊子语言的模糊可控条件和模糊可观测条件形式化,得到了fdes可控可观测定理,建立了部分可观测的fdes监控理论。简单地说,对于模糊语言(~k),存在一个满足要求的非阻塞模糊监控器(~s)p的充分必要条件是k为模糊可控、模糊可观测、l(~c),m-闭的(定理3.1)。特别地,对于模糊可控条件和模糊可观测条件给出了一个具体的验证方法,依此可以判断模糊监控器(~s)p的存在性。然后,进一步考虑了在多个偏观察的情况下fdes的分散监控问题,通过对模糊共同可观测条件形式化,得到了fi)es分散监督控制定理:对于模糊语言(~k),存在一个满足要求的非阻塞分散模糊监控器(~s)dec的充分必要条件是(~k)为模糊可控、模糊共同可观测、l(~c),m-闭的(定理4.1)。并且对模糊共同可观测条件,给出了一个具体的验证方法,用这个方法可以判断分散模糊监控器(~s)dec的存在性。第二部分研究了fdes错误诊断问题。为了刻画模糊系统的可诊断程度,引入了一个取值为整个[0,1]区间的模糊诊断函数,提出了一种模糊诊断方法。特别地,当模糊诊断函数等于0时,就是指经典des错误诊断中不可诊断的概念;而模糊诊断函数等于1的情况则与经典des中的可诊断概念相对应。因此,这种模糊诊断方法是对经典des诊断方法[3]的推广,它既可以用于fdes的错误诊断,也可以用于经典des的错误诊断。然后,基于事件的可观测性和错误发生的概率,给出了一个构造诊断器的形式化方法,讨论了关于诊断器的一些主要性质。特别是得到了fdes可诊断的一个充分必要条件:fdes (~g)是完全不可诊断的,当且仅当存在某个事件(~σ),在关于(~σ)的诊断器gd中存在一个o-f-不确定圈;(~g)是完全可诊断的,当且仅当对任意事件(~σ),在关于(~σ)的诊断器(~g)d中都不存在任何f-不确定圈;g的可诊断程度是λ,当且仅当存在某个事件(~σ),在关于(~σ)的诊断器gd中存在一个极小λ(~Σ)f(~σ)-f-不确定圈,并且在任意其它事件的诊断器中,如果存在一个极小μ'-f-不确定圈,则一定有μ'≥λ(~Σ)f(~σ)(定理5.3)。这些结果推广了经典des错误诊断方法[3,4]中的主要结论。对于fdes模糊可诊断条件,给出了一种验证算法。 第三部分是在thorsley和teneketzisf[5]框架下考虑了sdes分散诊断问题。首先定义了sdes分散可诊断的概念,将[5]中只有一个投影观测站的情形推广到有多个投影观测站的情形。一个sdes g称为分散可诊断的,是指至少存在一个局部观测站,使得该位置的局部诊断器在某错误事件发生之后的有限步转移内,几乎能够将所有发生的错误事件诊断出来。然后,详细给出了一个构造sdes全局诊断器的方法。这个全局诊断器和局部诊断器共同实现对sdes的分散诊断。通过讨论全局诊断器的一些主要性质,得到了一个关于sdes是分散可诊断的充分必要条件。简单地说,sdes g是分散可诊断的,当且仅当在分散诊断器中不存在这样的状态圈:圈中包含有一致f-循环分支的状态都是f-不确定状态(定理6.1)。 第四部分研究了sdes安全诊断问题。安全诊断在[6]中被paoli和lafortune视为容错控制(fault—tolerant supervision)[7]的第一个必要步骤。由于sdes的可诊断性是保证系统在错误事件发生之后的有限延迟内,能够将几乎所有发生的错误事件诊断出来,但是,这种可诊断性并不一定是安全的,因为在错误事件发生之后的有限延迟内,系统仍然可能由于执行了某种被禁止的危险行为而导致严重危害。正是基于这种考虑,本文第四部分进一步讨论了sdes安全诊断问题。首先给出了sdes安全可诊断的定义。所谓sdes是安全可诊断的就是指在确保系统具有一定程度的可诊断性的基础上,要求这种诊断必须是在执行任何被禁止的危险行为之前完成。然后讨论了sdes安全可诊断、sdes可诊断、经典des安全可诊断三者之间的关系。一个安全可诊断的sdes一定是sdes可诊断的,但是可诊断的sdes不一定是sdes安全可诊断的;不是安全可诊断的sdes一定不是des安全可诊断的,但是,不是安全可诊断的des却有可能是sdes安全可诊断的。这部分最主要的成果是对于各个类型的错误,构造了一个非法语言识别器,用于区别系统行为中的被禁止事件串,并在识别器的基础上构造了相应的安全诊断器,得到了关于sdes安全可诊断的一个充分必要条件(定理7.4),从而实现安全诊断器对sdes的安全诊断。
关 键 词: 离散事件系统 模糊离散事件系统 概率离散事件系统 模糊语言
分 类 号: [TP315]
领 域: [自动化与计算机技术] [自动化与计算机技术]