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
关键词
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 条
  • [1] Supervisory control of discrete-event systems
    Komenda, Jan
    Masopust, Tomáš
    Lecture Notes in Control and Information Sciences, 2015, 456 : 129 - 136
  • [2] Multitasking supervisory control of discrete-event systems
    De Queiroz, MH
    Cury, JER
    Wonham, WM
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 375 - 395
  • [3] Supervisory control of discrete-event systems: An introduction
    Wonham, WM
    PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, 2000, : 474 - 479
  • [4] Multitasking Supervisory Control of Discrete-Event Systems
    Max H. de Queiroz
    José E. R. Cury
    W. M. Wonham
    Discrete Event Dynamic Systems, 2005, 15 : 375 - 395
  • [5] Supervisory control of distributed discrete-event systems
    Komenda, J. (komenda@ipm.cz), 2013, Springer Verlag (433):
  • [6] SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS
    BRANDIN, BA
    WONHAM, WM
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (02) : 329 - 342
  • [7] DECENTRALIZED SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS
    LIN, F
    WONHAM, WM
    INFORMATION SCIENCES, 1988, 44 (03) : 199 - 224
  • [8] 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
  • [9] SUPERVISORY CONTROL OF CONCURRENT DISCRETE-EVENT SYSTEMS
    WILLNER, Y
    HEYMANN, M
    INTERNATIONAL JOURNAL OF CONTROL, 1991, 54 (05) : 1143 - 1169
  • [10] Supervisory control architecture for discrete-event systems
    Feng, Lei
    Wonham, W. M.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (06) : 1449 - 1461