An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems

被引：1

作者：

Wu, Lihua ^{[1
]}

Cai, Kai ^{[2
]}

Zhang, Renyuan ^{[3
]}

Liu, Yingying ^{[4
]}

机构：

[1] South China Agr Univ, Coll Math & Informat, Guangzhou, Peoples R China

[2] Osaka City Dept, Dept Elect & Informat Engn, Osaka, Japan

[3] Northwestern Polytech Univ, Sch Automat, Xian, Peoples R China

[4] Xidian Univ, Sch Electromech Engn, Xian, Peoples R China

来源：

IFAC PAPERSONLINE | 2020年 / 53卷 / 04期

关键词：

Supervisor Localization; Supervisor Reduction; Supervisory Control; REDUCTION;

D O I：

10.1016/j.ifacol.2021.04.021

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper we propose a fast algorithm for supervisor reduction/localization of discrete-event systems. Supervisor reduction/localization is based on merging pairs of states of the supervisor that are control consistent. Our proposed algorithm employs two new lists - a mergeable list and a non-mergeable list - which store state pairs that have been confirmed to be control consistent or inconsistent, respectively. With these two lists, our algorithm eliminates any repeated control consistency checks, and guarantees that every state pair will be checked at most once. The time complexity of our new algorithm is O(n(2)), where n is the number of states of the supervisor; this improves all previously known results on supervisor reduction/localization algorithms. Copyright (C) 2020 The Authors.

引用

页码：211 / 216

页数：6

共 50 条

[1] Supervisor reduction for discrete-event systems
Su, R
Wonham, WM
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2004, 14 (01): : 31 - 53
[2] Supervisor Reduction for Discrete-Event Systems
R. Su
W.M. Wonham
[J]. Discrete Event Dynamic Systems, 2004, 14 : 31 - 53
[3] ON SUPERVISOR REDUCTION IN DISCRETE-EVENT SYSTEMS
VAZ, AF
WONHAM, WM
[J]. INTERNATIONAL JOURNAL OF CONTROL, 1986, 44 (02) : 475 - 491
[4] A new algorithm for supervisor reduction/localisation of discrete-event systems
Liu, Yingying
Wu, Lihua
Zhang, Renyuan
Cai, Zhaojian
Cai, Kai
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2024,
[5] An Approach for Supervisor Reduction of Discrete-Event Systems
Zhang, Huimin
Feng, Lei
Xie, Wu
Yu, Feng
[J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 3 - 14
[6] Supervisor Localization of Discrete-Event Systems with Infinite Behavior
Zhang, Renyuan
Cai, Kai
[J]. IFAC PAPERSONLINE, 2018, 51 (07): : 361 - 366
[7] Supervisor localization of discrete-event systems under partial observation
Zhang, Renyuan
Cai, Kai
Wonham, W. Murray
[J]. AUTOMATICA, 2017, 81 : 142 - 147
[8] Supervisor Localization for Large-Scale Discrete-Event Systems
Cai, K.
Wonham, W. M.
[J]. PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 3099 - 3105
[9] Supervisor state size reduction for timed discrete-event systems
Saadatpoor, Ali
Wonham, W. M.
[J]. 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 1788 - 1792
[10] Supervisor Localization of Timed Discrete-Event Systems under Partial Observation
Zhang, Renyuan
Cai, Kai
[J]. 2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 4752 - 4757

← 1 2 3 4 5 →