Model matching for finite-state machines

被引：43
|
作者：
Di Benedetto, MD [1 ]
Sangiovanni-Vincentelli, A
Villa, T
机构：
[1] Univ Aquila, I-67040 Laquila, Italy
[2] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
[3] Parades, Rome, Italy
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2001年 / 46卷 / 11期
关键词：
discrete-event systems; finite-state machines; model matching; supervisory control;
D O I：
10.1109/9.964683
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The problem of model matching for finite state machines (FSMs) consists of finding a controller for a given open-loop system so that the resulting closed-loop system matches a desired input-output behavior. In this paper, a set of model matching problems is addressed: strong model matching (where the reference model and the plant are deterministic FSMs and the initial conditions are fixed), strong model matching with measurable disturbances (where disturbances are present in the plant), and strong model matching with nondeterministic reference model (where any behavior out of those in the reference model has to be matched by the closed-loop system). Necessary and sufficient conditions for the existence of controllers for all these problems are given. A characterization of all feasible control laws is derived and an efficient synthesis procedure is proposed. Further, the well-known supervisory control problem for discrete-event dynamical systems (DEDSs) formulated in its basic form is shown to be solvable as a strong model matching problem with measurable disturbances and nondeterministic reference model.
引用
收藏
页码：1726 / 1743
页数：18
相关论文
共 50 条
  • [1] A thermodynamically consistent model of finite-state machines
    Chu, Dominique
    Spinney, Richard E.
    [J]. INTERFACE FOCUS, 2018, 8 (06)
  • [2] Model reduction of finite-state machines by contraction
    Giua, A
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
  • [3] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    [J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [4] Grey-scale template matching using finite-state machines
    Waltz, FM
    Miller, JWV
    [J]. MACHINE VISION AND THREE-DIMENSIONAL IMAGING SYSTEMS FOR INSPECTION AND METROLOGY II, 2002, 4567 : 107 - 112
  • [5] Periodic finite-state machines
    Kopetz, H.
    El-Salloum, C.
    Huber, B.
    Obermaisser, R.
    [J]. 10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
  • [6] ON COMMUNICATING FINITE-STATE MACHINES
    BRAND, D
    ZAFIROPULO, P
    [J]. JOURNAL OF THE ACM, 1983, 30 (02) : 323 - 342
  • [7] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [8] Robots and finite-state machines
    Carter, EF
    [J]. DR DOBBS JOURNAL, 1997, 22 (02): : 50 - +
  • [9] Refinement of finite-state machines
    Li, HW
    Min, YH
    Li, ZC
    [J]. CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
  • [10] Asymptotic model matching for finite state machines
    Di Benedetto, MD
    Sangiovanni-Vincentelli, A
    Saldanha, A
    [J]. SYSTEM STRUCTURE AND CONTROL 1998 (SSC'98), VOLS 1 AND 2, 1998, : 435 - 440
12345