Bisimilarity Control of Decentralized Nondeterministic Discrete-Event Systems

被引：0
|
作者：
Liu Fuchun [1 ]
Zhang Qiansheng [2 ]
Chen Xuesong [3 ]
机构：
[1] Guangdong Univ Technol, Sch Comp, Guangzhou 510006, Guangdong, Peoples R China
[2] Guangdong Univ Foreign Studies, Sch Informat, Guangzhou 510420, Guangdong, Peoples R China
[3] Guangdong Univ Technology, Sch Appl Math, Guangzhou 510006, Guangdong, Peoples R China
来源：
2014 33RD CHINESE CONTROL CONFERENCE (CCC) | 2014年
关键词：
Discrete-event systems; Nondeterministic systems; decentralized supervisory control; Bisimulation equivalence; SUPERVISORY CONTROL; BISIMULATION;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Recently, we investigated bisimilarity control of nondeterministic discrete-event systems (DESs), where the constructed framework is centralized. This paper aims to generalize it to the decentralized case and develop a decentralized supervisory control theory for nondeterministic DESs with bisimulation equivalence. A synchronous composition for supervised systems is proposed based on the simulation relation between nondeterministic specification and plant. The notions of simulation-based controllability and simulation-based coobservability are formalized to characterize the necessary and sufficient conditions for the existence of the decentralized bisimilarity supervisor that achieve the given specification in terms of bisimulation equivalence.
引用
下载
收藏
页码：3898 / 3903
页数：6
相关论文
共 50 条
  • [41] Decentralized supervisory control of discrete-event systems over communication networks
    Mannani, Amin
    Gohari, Peyman
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (02) : 547 - 559
  • [42] Decentralized control of discrete-event systems with bounded or unbounded delay communication
    Tripakis, S
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (09) : 1489 - 1501
  • [43] ON THE CONTROL OF DISCRETE-EVENT SYSTEMS
    WONHAM, WM
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1989, 135 : 542 - 557
  • [44] ON THE SUPREMAL CONTROLLABLE SUBLANGUAGE IN THE DISCRETE-EVENT MODEL OF NONDETERMINISTIC HYBRID CONTROL-SYSTEMS
    YANG, XJ
    LEMMON, MD
    ANTSAKLIS, PJ
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (12) : 2098 - 2103
  • [45] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
    Huang, Ying
    Rudie, Karen
    Lin, Feng
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (01) : 384 - 388
  • [46] Decentralized control of discrete-event systems when supervisors observe particular event occurrences
    Huang, Ying
    Rudie, Karen
    Lin, Feng
    2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4147 - 4152
  • [47] Minimization of Sensor Activation in Decentralized Discrete-Event Systems
    Yin, Xiang
    Lafortune, Stephane
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (11) : 3705 - 3718
  • [48] Reliable Decentralized Fault Prognosis of Discrete-Event Systems
    Yin, Xiang
    Li, Zhaojian
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (11): : 1598 - 1603
  • [49] Reliable predictability of patterns in decentralized discrete-event systems
    Zhu, Hongzhen
    Liu, Fuchun
    Zhao, Rui
    ISA Transactions, 2022, 123 : 230 - 239
  • [50] Reliable predictability of patterns in decentralized discrete-event systems
    Zhu, Hongzhen
    Liu, Fuchun
    Zhao, Rui
    ISA TRANSACTIONS, 2022, 123 : 230 - 239
12345