Distributed extended Finite-State Machines: Communication and control

被引：0

作者：

Mannani, A. ^{[1
]}

Yang, Y. ^{[1
]}

Gohari, P. ^{[1
]}

机构：

[1] Concordia Univ, Dept Elect & Comp Engn, Montreal, PQ H3G 1M8, Canada

来源：

WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2006年

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We propose to implement decentralized supervisory control by embedding the control map in the plant's local Finite State Machines (FSMs) and employing private sets of boolean variables to encode the control information for each component supervisor. Event observation is captured by a set of boolean functions that update the value of boolean variables, and control is introduced by guarding events with boolean formulas. We extend the previous results for centralized control problems to the decentralized case with coobservable specifications. Next, a characterization of coding algorithms suitable in studying decentralized control problems is presented and shown to relate to a modified version of joint observability of the specification. In the absence of coobservability, the problem of communicating supervisors is then studied and solutions are proposed for certain classes of specifications.

引用

页码：161 / +

页数：2

共 50 条

[1] Implementation of supervisory control using extended finite-state machines
Yang, Y.
Mannani, A.
Gohari, P.
[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2008, 39 (12) : 1115 - 1125
[2] Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
Teixeira, Marcelo
Malik, Robi
Cury, Jose E. R.
de Queiroz, Max H.
[J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (01) : 118 - 129
[3] Verification of finite-state machines: A distributed approach
Gorrieri, Roberto
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
[4] A VERIFICATION METHOD VIA INVARIANT FOR COMMUNICATION PROTOCOLS MODELED AS EXTENDED COMMUNICATING FINITE-STATE MACHINES
HIGUCHI, M
SHIRAKAWA, O
SEKI, H
FUJII, M
KASAMI, T
[J]. IEICE TRANSACTIONS ON COMMUNICATIONS, 1993, E76B (11) : 1363 - 1372
[5] A framework for compositional nonblocking verification of extended finite-state machines
Sahar Mohajerani
Robi Malik
Martin Fabian
[J]. Discrete Event Dynamic Systems, 2016, 26 : 33 - 84
[6] Distributed fault detection in communication protocols using extended finite state machines
Vijayananda, K
[J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 310 - 318
[7] A framework for compositional nonblocking verification of extended finite-state machines
Mohajerani, Sahar
Malik, Robi
Fabian, Martin
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (01): : 33 - 84
[8] IN FINITE-STATE MACHINES, LIVING MACHINES
KRUGER, T
[J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
[9] STEADY-STATE OPTIMAL CONTROL OF FINITE-STATE MACHINES
DORATO, P
[J]. AUTOMATICA, 1971, 7 (03) : 351 - +
[10] Automatic Derivation of Finite-State Machines for Behavior Control
Bonet, Blai
Palacios, Hector
Geffner, Hector
[J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1656 - 1659

← 1 2 3 4 5 →