在研究基于混合信息的分散监控时,由于部分监控器与部分控制器发生失败,故提出了一种新型的混合可靠分散监控问题,通过修改局部可控事件集与不可控事件集,提出新的可控语言与可靠联合可观察语言定义,进而得到混合可靠分散监控器存在的充分必要条件就是整体约束语言是可靠联合可观察,可控闭的.之后,又通过研究整体约束与混合子约束之问的关系,给出了判别混合可靠分散监控器存在的一个充分条件,即混合子约束分别满足基于谓词的可观察,可控性与基于语言的联合可观察,可控封闭性.
A new mixed reliable decentralized supervisory control problem is formulated to tackle the failures of partial supervisors and controllers in decentralized supervisory control with mixed information. By the modification of the sets of local controllable and uncontrollable events, new definitions of controllable and reliable co-observable languages are given. A necessary and sufficient condition that ensures the existences of mixed reliable decentralized supervisors is achieved by a central constraint which is closed, controllable and reliable co-observable language. Then, by showing the relation between the central COnstraint and mixed sub-constraints, a sufficient condition that mixed sub-constraints is satisfied by controllable and observable predicates and closed, controllable and co-observable languages is given to show the existences of mixed reliable decentralized supervisors.