CONCURRENT VECTOR DISCRETE-EVENT SYSTEMS

被引:20
|
作者
LI, Y [1 ]
WONHAM, WM [1 ]
机构
[1] UNIV TORONTO,DEPT ELECT & COMP ENGN,TORONTO,ON M5S 1A4,CANADA
基金
加拿大自然科学与工程研究理事会;
关键词
D O I
10.1109/9.376113
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The vector discrete-event system (VDES) is a compact serial discrete-event system model, in which the system state is represented by a vector with integer components and the transitions by integer vector addition [13], [14]. Continuing the study of VDES, we introduce in this paper concurrent VDES, extending the base VDES model to capture strict concurrency, or possible simultaneity of events. We characterize the effect of strict concurrency on control, and show how to synthesize nondeterministic controllers allowing maximal concurrency of a controlled VDES plant.
引用
收藏
页码:628 / 638
页数:11
相关论文
共 50 条
  • [1] Supervisory Control of Concurrent Discrete-Event Systems
    Su, Rong
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 1811 - 1816
  • [2] SUPERVISORY CONTROL OF CONCURRENT DISCRETE-EVENT SYSTEMS
    WILLNER, Y
    HEYMANN, M
    INTERNATIONAL JOURNAL OF CONTROL, 1991, 54 (05) : 1143 - 1169
  • [3] Structural decentralised control of concurrent discrete-event systems
    Lee, SH
    Wong, KC
    EUROPEAN JOURNAL OF CONTROL, 2002, 8 (05) : 477 - 491
  • [4] Diagnosability of Vector Discrete-Event Systems Using Predicates
    Chen, Qinrui
    Yin, Li
    Wu, Naiqi
    El-Meligy, Mohammed A.
    Sharaf, Mohamed Abdel Fattah
    Li, Zhiwu
    IEEE ACCESS, 2019, 7 : 147143 - 147155
  • [5] Discrete-Event Systems
    Ge, Shuzhi Sam
    IEEE CONTROL SYSTEMS MAGAZINE, 2010, 30 (06): : 25 - 26
  • [6] Control of vector discrete-event systems in the context of operational safety
    Sarri, P
    Hssain, AA
    Niel, E
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 263 - 268
  • [7] Automated Partitioning of Concurrent Discrete-Event Systems for Distributed Behavioral Identification
    Saives, Jeremie
    Faraut, Gregory
    Lesage, Jean-Jacques
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2018, 15 (02) : 832 - 841
  • [8] DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS
    SAMPATH, M
    SENGUPTA, R
    LAFORTUNE, S
    SINNAMOHIDEEN, K
    TENEKETZIS, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) : 1555 - 1575
  • [9] ON OBSERVABILITY OF DISCRETE-EVENT SYSTEMS
    LIN, F
    WONHAM, WM
    INFORMATION SCIENCES, 1988, 44 (03) : 173 - 198
  • [10] ON THE CONTROL OF DISCRETE-EVENT SYSTEMS
    WONHAM, WM
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1989, 135 : 542 - 557