Decentralized Supervision and Coordination of Concurrent Discrete Event Systems under LTL Constraints

被引：3

作者：

Sakakibara, Ami ^{[1
]}

Ushio, Toshimitsu ^{[1
]}

机构：

[1] Osaka Univ, Grad Sch Engn Sci, 1-3 Machikaneyama, Toyonaka, Osaka 5638531, Japan

来源：

IFAC PAPERSONLINE | 2018年 / 51卷 / 07期

关键词：

Mealy automata; hierarchical control; reduction; linear temporal logic; Rabin games; TEMPORAL LOGIC;

D O I：

10.1016/j.ifacol.2018.06.271

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper, we consider a control problem of a concurrent discrete event system modeled by a Mealy automaton, where several subsystems are partially synchronized via shared events. We impose to the system local and global constraints described by linear temporal logic formulas. We propose hierarchical control architecture consisting of local supervisors and a coordinator. By a game-based approach, we synthesize a controller that guarantees the specifications of both levels. (C) 2018, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

引用

页码：7 / 12

页数：6

共 50 条

[1] Decentralized modular diagnosis of concurrent discrete event systems
Zhou, C.
Kumar, R.
Sreenivas, R. S.
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 388 - +
[2] Decentralized modular control of concurrent discrete event systems
Zhou, Changyan
Kumar, Ratnesh
Sreenivas, Ramavarapu S.
PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 2944 - +
[3] Decentralized Modular Control of Concurrent Fuzzy Discrete Event Systems
Jayasiri, Awantha
Mann, George K. I.
Gosine, Raymond G.
2010 AMERICAN CONTROL CONFERENCE, 2010, : 3359 - 3364
[4] Supervision of networked dynamical systems under coordination constraints
Casavola, A
Papini, M
Franzè, G
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (03) : 421 - 437
[5] Decentralized control of discrete event systems with specializations to local control and concurrent systems
Jiang, SB
Kumar, R
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 653 - 660
[6] DECENTRALIZED CONTROL AND COORDINATION OF DISCRETE-EVENT SYSTEMS WITH PARTIAL OBSERVATION
LIN, F
WONHAM, WM
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (12) : 1330 - 1337
[7] Error- and Tamper-Tolerant Decentralized Diagnosability of Discrete Event Systems under Cost Constraints
Li, Yuting
Hadjicostis, Christoforos N.
Wu, Naiqi
2021 EUROPEAN CONTROL CONFERENCE (ECC), 2021, : 42 - 47
[8] HEURISTIC SUPERVISION OF DISCRETE EVENT SYSTEMS
李勇华
高为炳
SystemsScienceandMathematicalSciences, 1990, (04) : 298 - 307
[9] Online supervision of discrete event systems
Minhas, R
Wonham, WM
PROCEEDINGS OF THE 2003 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2003, : 1685 - 1690
[10] On Decentralized Observability of Discrete Event Systems
Cabasino, M. P.
Giua, A.
Mahulea, C.
Seatzu, C.
2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 378 - 384

← 1 2 3 4 5 →