CONCURRENT VECTOR DISCRETE-EVENT SYSTEMS

被引：20
|
作者：
LI, Y [1 ]
WONHAM, WM [1 ]
机构：
[1] UNIV TORONTO,DEPT ELECT & COMP ENGN,TORONTO,ON M5S 1A4,CANADA
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1995年 / 40卷 / 04期
基金：
加拿大自然科学与工程研究理事会;
关键词：
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 条
  • [31] Discrete-event control of nondeterministic systems
    Heymann, M
    Lin, F
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (01) : 3 - 17
  • [32] Incremental Diagnosis of Discrete-Event Systems
    Grastien, Alban
    Cordier, Marie-Odile
    Largouet, Christine
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1564 - 1565
  • [33] ON HIERARCHICAL CONTROL OF DISCRETE-EVENT SYSTEMS
    ZHONG, H
    WONHAM, WM
    PROCEEDINGS OF THE 22ND CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS, VOLS 1 & 2, 1988, : 64 - 70
  • [34] Hierarchical control of discrete-event systems
    Wong, KC
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1996, 6 (03): : 241 - 273
  • [35] Active diagnosis of discrete-event systems
    Sampath, M
    Lafortune, S
    Teneketzis, D
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (07) : 908 - 929
  • [36] On the synchronization of cyclic discrete-event systems
    Lopes, G. A. D.
    De Schutter, B.
    van den Boom, T. J. J.
    2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 5810 - 5815
  • [37] On Opacity Verification for Discrete-Event Systems
    Balun, Jiri
    Masopust, Tomas
    IFAC PAPERSONLINE, 2020, 53 (02): : 2075 - 2080
  • [38] On Relative Observability of Discrete-Event Systems
    Cai, Kai
    Zhang, Renyuan
    Wonham, W. M.
    2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2013, : 7285 - 7290
  • [39] Consistent reduction in discrete-event systems
    Cai, Kai
    Giua, Alessandro
    Seatzu, Carla
    AUTOMATICA, 2022, 142
  • [40] Supervisor Reduction for Discrete-Event Systems
    R. Su
    W.M. Wonham
    Discrete Event Dynamic Systems, 2004, 14 : 31 - 53
12345