Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction

被引:20
作者
Teixeira, Marcelo [1 ]
Malik, Robi [2 ]
Cury, Jose E. R. [3 ]
de Queiroz, Max H. [3 ]
机构
[1] Univ Tecnol Fed Parana, Dept Informat, BR-85503390 Bairro Fraron, Brazil
[2] Univ Waikato, Dept Comp Sci, Hamilton 3240, New Zealand
[3] Univ Fed Santa Catarina, Dept Automacao & Sistemas, BR-88040900 Florianopolis, SC, Brazil
关键词
Discrete event systems; supervisory control; extended finite-state machines; variable abstraction; HIERARCHICAL CONTROL; DISCRETE; SYSTEMS;
D O I
10.1109/TAC.2014.2337411
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper deals with two relevant aspects of Supervisory Control Theory (SCT) of Discrete Event Systems: the difficulty faced to model specifications to be fulfilled by the system under control, and the computational cost to synthesize supervisors. These aspects are addressed by Extended Finite-state Machines (EFSMs), a version of ordinary finite-state machines, extended with variables. EFSMs have been used in SCT to facilitate modeling tasks, but they are not directly advantageous in synthesis. This paper shows that some variables can nevertheless be abstracted from an EFSM to compute a supervisor. The proposed approach has the modeling benefits of EFSMs while preserving controllability and least restrictiveness of control solutions, and the synthesis procedure can be conducted with computational gains. An algorithm to compute supervisors from abstractions is also proposed. A way to construct abstractions that always lead to optimal synthesis complements the contributions, which are illustrated by two examples of manufacturing systems.
引用
收藏
页码:118 / 129
页数:12
相关论文
共 21 条
  • [11] Hoare C. A. R., 1985, Communicating Sequential Processes.
  • [12] Le Gall T, 2005, IEEE DECIS CONTR P, P30
  • [13] Mohajerani S, 2013, P 9 INT CASE MAD WI, P942
  • [14] Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
    Ouedraogo, Lucien
    Kumar, Ratnesh
    Malik, Robi
    Akesson, Knut
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (03) : 560 - 569
  • [15] THE CONTROL OF DISCRETE EVENT SYSTEMS
    RAMADGE, PJG
    WONHAM, WM
    [J]. PROCEEDINGS OF THE IEEE, 1989, 77 (01) : 81 - 98
  • [16] Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
    Schmidt, Klaus
    Moor, Thomas
    Perk, Sebastian
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2008, 53 (10) : 2252 - 2265
  • [17] Sköldstam M, 2007, IEEE DECIS CONTR P, P5438
  • [18] Teixeira M, 2013, P AMER CONTR CONF, P132
  • [19] Hierarchical control of discrete-event systems
    Wong, KC
    Wonham, WM
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1996, 6 (03): : 241 - 273
  • [20] Modular control and coordination of discrete-event systems
    Wong, KC
    Wonham, WM
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (03): : 247 - 297