Control design for nondeterministic input/output automata

被引：6
|
作者：
Nke, Yannick [1 ]
Lunze, Jan [1 ]
机构：
[1] Ruhr Univ Bochum, Inst Automat & Comp Control, Bochum, Germany
来源：
EUROPEAN JOURNAL OF CONTROL | 2015年 / 21卷
关键词：
Discrete-event systems; Input/output automata; Supervisory control; SUPERVISORY CONTROL; IMPLEMENTATION;
D O I：
10.1016/j.ejcon.2014.11.001
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a new control design approach for discrete-event systems described by Input/Output automata. A formal design method guarantees the fulfillment of the specifications for the closed-loop system including the system safety. Necessary and sufficient conditions for the well-posedness of the control loop and the controllability of the plant with respect to the specification are proved. The control of a batch process is used to illustrate the results. (C) 2014 European Control Association. Published by Elsevier Ltd. All rights reserved.
引用
收藏
页码：1 / 13
页数：13
相关论文
共 50 条
  • [1] Feedback Control of Nondeterministic Input/Output Automata
    Schuh, Melanie
    Lunze, Jan
    [J]. 2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 6737 - 6743
  • [2] Finitely Nonstationary Nondeterministic Automata with Random Input
    Chirkov, M. K.
    Shevchenko, A. S.
    [J]. VESTNIK ST PETERSBURG UNIVERSITY-MATHEMATICS, 2011, 44 (02) : 155 - 165
  • [3] On input-revolving deterministic and nondeterministic finite automata
    Bensch, Suna
    Bordihn, Henning
    Holzer, Markus
    Kutrib, Martin
    [J]. INFORMATION AND COMPUTATION, 2009, 207 (11) : 1140 - 1155
  • [4] Supervisory Control of Discrete Event Systems Modeled by Mealy Automata with Nondeterministic Output Functions
    Ushio, Toshimitsu
    Takai, Shigemasa
    [J]. 2009 AMERICAN CONTROL CONFERENCE, VOLS 1-9, 2009, : 4260 - +
  • [5] Distinguishing and control experiments with nondeterministic automata
    Lukyanov, BD
    [J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1995, 31 (05) : 691 - 696
  • [6] Interface input/output automata
    Larsen, Kim G.
    Nyman, Ulrik
    Wasowski, Andrzej
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 82 - 97
  • [7] Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
    Ushio, Toshimitsu
    Takai, Shigemasa
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (03) : 799 - 804
  • [8] On the stabilization of nondeterministic finite automata via static output feedback
    Zhang, Zhipeng
    Xia, Chengyi
    Chen, Zengqiang
    [J]. APPLIED MATHEMATICS AND COMPUTATION, 2020, 365
  • [9] Realization for causal nondeterministic input-output systems
    Foo N.Y.
    Peppas P.
    [J]. Studia Logica, 2001, 67 (3) : 419 - 437
  • [10] Deciding path size of nondeterministic (and input-driven) pushdown automata
    Han, Yo-Sub
    Ko, Sang-Ki
    Salomaa, Kai
    [J]. THEORETICAL COMPUTER SCIENCE, 2023, 939 : 170 - 181
12345