A new method for centralized and modular supervisory control of real-time discrete event systems

被引：0
|
作者：
Ouedraogo, Lucien [1 ]
Nourelfath, Mustapha [2 ]
Khoumsi, Ahmed [1 ]
机构：
[1] Univ Sherbrooke, Dept Elect & Comp Eng, Sherbrooke, PQ, Canada
[2] Univ Laval, Dept Mech Engn, Quebec City, PQ G1K 7P4, Canada
来源：
WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we first propose a centralized method for the synthesis of a supervisor that forces a given plant to conform to a given specification. Then, we extend this centralized method to the modular case, that is, for the synthesis of n supervisors that force the plant to conform to n given specifications, respectively. Timed Automata (TA) with invariants is the model used to describe the plant and the specifications, and the synthesis approach is based on a transformation of TA into particular finite state automata called Set-Exp-Automata.
引用
收藏
页码：168 / +
页数：2
相关论文
共 50 条
  • [1] A new method for centralised and modular supervisory control of real-time discrete event systems
    Ouedraogo, Lucien
    Khoumsi, Ahmed
    Nourelfath, Mustapha
    [J]. INTERNATIONAL JOURNAL OF CONTROL, 2010, 83 (01) : 1 - 39
  • [2] A supervisory control method for ensuring the conformance of real-time discrete event systems
    Khoumsi, A
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2005, 15 (04): : 397 - 431
  • [3] A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems
    Ahmed Khoumsi
    [J]. Discrete Event Dynamic Systems, 2005, 15 : 397 - 431
  • [4] ON SUPERVISORY CONTROL OF REAL-TIME DISCRETE-EVENT SYSTEMS
    LI, Y
    WONHAM, WM
    [J]. INFORMATION SCIENCES, 1988, 46 (03) : 159 - 183
  • [5] New Results in Modeling and Supervisory Control of Real-Time Discrete Event Systems
    Khoumsi, Ahmed
    Ouedraogo, Lucien
    [J]. 18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 669 - 676
  • [6] Supervisory control design for real-time discrete event systems
    Schneider, O
    de Ridder, M
    Spathopoulos, M
    [J]. UKACC INTERNATIONAL CONFERENCE ON CONTROL '98, VOLS I&II, 1998, : 838 - 844
  • [7] Grid automata and supervisory control of dense real-time discrete event systems
    Nourelfath, M
    Khoumsi, A
    [J]. MATHEMATICS AND COMPUTERS IN SIMULATION, 2006, 70 (5-6) : 408 - 418
  • [8] Supervisory control of real-time discrete event systems under bounded time constraints
    Park, SJ
    Cho, KH
    Lim, JT
    [J]. IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, 2004, 151 (03): : 347 - 352
  • [9] MODULAR SUPERVISORY CONTROL OF DISCRETE EVENT SYSTEMS
    RAMADGE, PJ
    WONHAM, WM
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1986, 83 : 202 - 214
  • [10] Supervisory control of dense real-time discrete-event systems with partial observation
    Khoumsi, A
    [J]. WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 105 - 112
12345