Supervisory control problems of hierarchical finite state machines

被引：0
|
作者：
Marchand, H [1 ]
Gaudin, B [1 ]
机构：
[1] IRISA, VerTeCs Team, F-35042 Rennes, France
来源：
PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4 | 2002年
关键词：
discrete event systems; supervisory control problem; hierarchical structures; optimal control;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The situation under consideration is that of a given Discrete Event System (DES), whose behavior has to be modified by means of a feedback control (named Supervisor) in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine (HFSM). Further, instead of translating the HFSM to ordinary state machines and using classical synthesis tools on the resulting FSM, we here present algorithms that solve the Supervisory Control Problem (for a particular case of forbidden state avoidance problem) as well as the Optimal Control Problem without expanding the HFSM.
引用
收藏
页码：1199 / 1204
页数：6
相关论文
共 50 条
  • [1] Supervisory control of finite state machines
    Aziz, A
    Balarin, F
    Brayton, RK
    DiBenedetto, MD
    Saldanha, A
    COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
  • [2] Supervisory Control of a Kind of Extended Finite State Machines
    Wang, Xiang-Yun
    Cai, Kai-Yuan
    PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 775 - 780
  • [3] The hierarchical control of ST-finite-state machines
    Caines, PE
    Gupta, V
    Shen, G
    SYSTEMS & CONTROL LETTERS, 1997, 32 (04) : 185 - 192
  • [4] The hierarchical control of ST-finite state machines
    Caines, PE
    Gupta, V
    Shen, G
    PROCEEDINGS OF THE 36TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 1997, : 3584 - 3589
  • [5] The hierarchical control of ST-finite-state machines
    Caines, Peter E.
    Gupta, Vineet
    Shen, Gang
    Systems and Control Letters, 1997, 32 (04): : 185 - 192
  • [6] Implementation of supervisory control using extended finite-state machines
    Yang, Y.
    Mannani, A.
    Gohari, P.
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 39 (12) : 1115 - 1125
  • [7] Bisimulation, the supervisory control problem and strong model matching for finite state machines
    Barrett, G
    Lafortune, S
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (04): : 377 - 429
  • [8] Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
    Teixeira, Marcelo
    Malik, Robi
    Cury, Jose E. R.
    de Queiroz, Max H.
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 118 - 129
  • [9] Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
    George Barrett
    Stéphane Lafortune
    Discrete Event Dynamic Systems, 1998, 8 : 377 - 429
  • [10] Hierarchical finite-state machines and their use for digital control
    Sklyarov, V
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1999, 7 (02) : 222 - 228
12345