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 条
  • [41] On Exploiting Algebraic Structue in Control of Finite State Machines
    Tarraf, Danielle C.
    2013 51ST ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2013, : 962 - 965
  • [42] ELECTROMAGNETIC LAUNCHER CONTROL USING FINITE STATE MACHINES
    GAY, JM
    CORNETTE, JB
    HEYSE, MW
    IEEE TRANSACTIONS ON MAGNETICS, 1993, 29 (01) : 954 - 957
  • [43] STEADY-STATE OPTIMAL CONTROL OF FINITE-STATE MACHINES
    DORATO, P
    AUTOMATICA, 1971, 7 (03) : 351 - +
  • [44] Events detection and handling based on hierarchical finite state machines in EAST PCS
    Zhu, J. Q.
    Shen, B.
    Yuan, Q. P.
    Zhang, R. R.
    Chen, M. W.
    Hu, W. H.
    Guo, H. R.
    Yan, L. l.
    FUSION ENGINEERING AND DESIGN, 2022, 184
  • [45] Implementing Wireless Sensor Network Applications using Hierarchical Finite State Machines
    Kramer, Matthias
    Bader, Sebastian
    Oelmann, Bengt
    2013 10TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC), 2013, : 124 - 129
  • [46] Finite state machines
    Carter, J
    POWER ENGINEERING JOURNAL, 2001, 15 (01): : 15 - 15
  • [47] Finite state machines
    Jonsson, B
    MODEL-BASED TESTING OF REACTIVE SYSTEMS, 2005, 3472 : 611 - 614
  • [48] Hierarchical featured state machines
    Fragal, Vanderson Hafemann
    Simao, Adenilso
    Mousavi, Mohammad Reza
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 171 : 67 - 88
  • [49] Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems
    Jayasiri, Awantha
    Mann, George K. I.
    Gosine, Raymond G.
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) : 353 - 364
  • [50] Automatic Derivation of Finite-State Machines for Behavior Control
    Bonet, Blai
    Palacios, Hector
    Geffner, Hector
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1656 - 1659
12345