Modular Supervisor Synthesis for Extended Finite-State Machines Subject to Controllability

被引：0

作者：

Malik, Robi ^{[1
]}

Teixeira, Marcelo ^{[2
]}

机构：

[1] Univ Waikato, Dept Comp Sci, Hamilton, New Zealand

[2] Univ Tecnol Fed Parana, Acad Dept Informat, Pato Branco, Brazil

来源：

2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES) | 2016年

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This paper proposes an algorithm for the synthesis of modular supervisors using extended finite-state machines, i.e., state machines with variables and guards on the transitions. Synthesis is performed by iteratively selecting components from a synchronous composition until a least restrictive controllable solution is obtained. This method is usually faster and produces smaller supervisors than standard monolithic synthesis, while offering the modelling benefits of variables. An example of manufacturing system control illustrates the approach.

引用

页码：91 / 96

页数：6

共 50 条

[21] The state reduction of nondeterministic finite-state machines
Damiani, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
[22] In vitro implementation of finite-state machines
Garzon, M
Gao, Y
Rose, JA
Murphy, RC
Deaton, R
Franceschetti, DR
Stevens, SE
AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
[23] Abstractions of random finite-state machines
Oikonomou, KN
FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 171 - 207
[24] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
HUNT, BR
IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
[25] Model matching for finite-state machines
Di Benedetto, MD
Sangiovanni-Vincentelli, A
Villa, T
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743
[26] CHEMICAL IMPLEMENTATION OF FINITE-STATE MACHINES
HJELMFELT, A
WEINBERGER, ED
ROSS, J
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1992, 89 (01) : 383 - 387
[27] Abstractions of Random Finite-State Machines
Kostas N. Oikonomou
Formal Methods in System Design, 2001, 18 : 171 - 207
[28] Training Linear Finite-State Machines
Ardakani, Arash
Ardakani, Amir
Gross, Warren J.
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
[29] Product Construction of Finite-State Machines
Hsieh, Samuel C.
WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
[30] STATE REDUCTION IN INCOMPLETELY SPECIFIED FINITE-STATE MACHINES
PFLEEGER, CP
IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (12) : 1099 - 1102

← 1 2 3 4 5 →