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 条
  • [1] Bisimilarity Control of Nondeterministic Discrete Event Systems
    Liu Fuchun
    Qiu Daowen
    Lin Hai
    2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 87 - 92
  • [2] Discrete-event control of nondeterministic systems
    Technion-Israel Inst of Technology, Haifa, Israel
    IEEE Trans Autom Control, 1 (3-17):
  • [3] Discrete-event control of nondeterministic systems
    Heymann, M
    Lin, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) : 3 - 17
  • [4] Decentralized Bisimilarity Control of Discrete Event Systems
    Sun, Yajuan
    Lin, Hai
    Chen, Ben M.
    PROCEEDINGS OF THE 31ST CHINESE CONTROL CONFERENCE, 2012, : 2134 - 2139
  • [5] Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications
    Takai, Shigemasa
    AUTOMATICA, 2019, 108
  • [6] Bisimilarity Enforcing Supervisory Control of Nondeterministic Discrete Event Systems
    Sun, Yajuan
    Lin, Hai
    2012 AMERICAN CONTROL CONFERENCE (ACC), 2012, : 6102 - 6107
  • [7] Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations
    Kimura, Katsuyuki
    Takai, Shigemasa
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2014, E97D (05): : 1140 - 1148
  • [8] Control of nondeterministic discrete-event systems for bisimulation equivalence
    Zhou, Changyan
    Kumar, Ratnesh
    Jiang, Shengbing
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (05) : 754 - 765
  • [9] STRICT CONCURRENCY AND NONDETERMINISTIC CONTROL OF DISCRETE-EVENT SYSTEMS
    LI, Y
    WONHAM, WM
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 2731 - 2736
  • [10] Decentralized nondeterministic supervisory control of discrete event systems
    Qiu, WB
    Kumar, R
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 992 - 997
12345