TASK-DRIVEN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS

被引：0
|
作者：
GOLASZEWSKI, CH [1 ]
KURSHAN, RP [1 ]
机构：
[1] AT&T BELL LABS, MURRAY HILL, NJ 07974 USA
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 531卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The supervisory control framework formulated by Ramadge and Wonham is extended to allow the synthesis of supervisors which control a given system to perform an arbitrary omega-regular task specified by a nondeterministic Buchi automaton. To this end, the supervisory control paradigm is applied to R.P. Kurshan's L-processes which provide a convenient model for nonterminating discrete event system behaviors. Necessary and sufficient conditions for the existence of supervisors are derived and the synthesis of supervisors is discussed.
引用
收藏
页码：282 / 291
页数：10
相关论文
共 50 条
  • [21] Localization and Decomposition in Supervisory Control of Discrete-Event Systems
    Saeidi, Vahid
    Afzalian, Ali A.
    Gharavian, Davood
    2016 24TH IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE), 2016, : 1718 - 1723
  • [22] Supervisory control of the structured dynamic discrete-event systems
    Ambartsumyan, A. A.
    AUTOMATION AND REMOTE CONTROL, 2009, 70 (08) : 1406 - 1424
  • [23] Quantitatively nonblocking supervisory control of discrete-event systems
    Zhang, Renyuan
    Wang, Jiahao
    Wang, Zenghui
    Cai, Kai
    AUTOMATICA, 2024, 170
  • [24] Hierarchical robust supervisory control of discrete-event systems
    Fekri, Mohsen Zamani
    Hashtrudi-Zad, Shahin
    2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 1178 - 1183
  • [25] Supervisory control of discrete-event systems: A brief history
    Wonham, W. M.
    Cai, Kai
    Rudie, Karen
    ANNUAL REVIEWS IN CONTROL, 2018, 45 : 250 - 256
  • [26] Supervisory Control of Discrete-Event Systems Under Attacks
    Wakaiki, Masashi
    Tabuada, Paulo
    Hespanha, Joao P.
    DYNAMIC GAMES AND APPLICATIONS, 2019, 9 (04) : 965 - 983
  • [27] DEALING WITH BLOCKING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS
    CHEN, E
    LAFORTUNE, S
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1991, 36 (06) : 724 - 735
  • [28] Supervisory Control of Discrete-Event Systems in an Asynchronous Setting
    Rashidinejad, Aida
    Reniers, Michel
    Fabian, Martin
    2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2019, : 494 - 501
  • [29] Supervisory control of probabilistic discrete-event systems with recovery
    Li, YH
    Lin, F
    Lin, ZH
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1999, 44 (10) : 1971 - 1975
  • [30] Robust nonblocking supervisory control of discrete-event systems
    Bourdon, SE
    Lawford, M
    Wonham, WM
    PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 730 - 735
12345