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 条
  • [1] Berard B., 2001, Sys- tems and Software Verification, Model-Checking Techniques and Tools
  • [2] Borger Egon, 2003, Abstract State Machines: A Method for High-Level System Design and Analysis
  • [3] SYMBOLIC MODEL CHECKING - 1020 STATES AND BEYOND
    BURCH, JR
    CLARKE, EM
    MCMILLAN, KL
    DILL, DL
    HWANG, LJ
    [J]. INFORMATION AND COMPUTATION, 1992, 98 (02) : 142 - 170
  • [4] Hierarchical supervisory control based on discrete event systems with flexible marking
    Carrilho Da Cunha, Antonio Eduardo
    Ribeiro Cury, Jose Eduardo
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2007, 52 (12) : 2242 - 2253
  • [5] Cassandras C. G., 2008, INTRO DISCRETE EVENT
  • [6] Chen YL, 2000, PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, P941, DOI 10.1109/CCA.2000.897591
  • [7] CHENG KT, 1993, ACM IEEE D, P86
  • [8] Supervisory control of discrete event systems with distinguishers
    Cury, Jose E. R.
    de Queiroz, Max Hering
    Bouzon, Gustavo
    Teixeira, Marcelo
    [J]. AUTOMATICA, 2015, 56 : 93 - 104
  • [9] Halbwachs Nicolas., 1993, Synchronous Programming of Reactive Systems
  • [10] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS
    HAREL, D
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) : 231 - &