摘要
该文分别从全局控制目标和局部控制目标讨论了离散事件系统分散监控器的无死锁特性。首先,对于全局控制目标,基于离散事件系统中的分散监控的存在性条件,通过验证全局控制目标是否满足无死锁语言的定义,进而获得无死锁分散监控器存在的判别条件。之后,为了将该判别条件推广到局部控制目标的判别,提出了局部可控性条件与全局控制目标的可控、可观性条件的蕴涵关系,进而可以利用局部控制目标获得分散监控器,再通过在局部控制目标之间定义映射不变关系,建立局部控制目标的无死锁性与全局控制目标的无死锁性的联系,进而获得利用局部控制目标获得无死锁分散监控器的存在性条件。
This paper describes deadlock-free decentralized supervisory control of discrete event systems with global and local specifications. Conditions are given for deadlock-free global specifications with decentralized supervisors. Then, the condition for the existence of deadlock free decentralized supervisors is extended from global specifications to local specifications with the local controllable language implying global controllability and observability with decentralized supervisors obtained for local specifications, The invariance with respect to the given projections gives a relation between the local deadlock free specifications and the global deadlock free specifications, and the condition for the existence of deadlock-free decentralized supervisors achieved by the local specifications.
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第9期1182-1187,共6页
Journal of Tsinghua University(Science and Technology)
基金
国家自然科学基金资助项目(61203040)
福建省自然科学基金(2011J01352)
泉州科技计划项目(2010G2)
中央高校基本科研业务费专项基金(JB-ZR1127)
华侨大学科研启动费(09BS509)
关键词
离散事件系统
无死锁
2-可观性
可控性
discrete event systems
deadlock-free
2 observability
controllability