Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game

被引：3

作者：

Majumdar, Rupak ^{[1
]}

Schmuck, Anne-Kathrin ^{[1
]}

机构：

[1] MPI SWS, D-67663 Kaiserslautern, Germany

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2023年 / 68卷 / 01期

关键词：

Control systems; supervisory control; computers science; INFINITE BEHAVIOR;

D O I：

10.1109/TAC.2022.3143108

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this article, we present a new algorithm to solve the supervisory control problem over nonterminating processes modeled as $\omega$-regular automata. A solution to this problem was obtained by Thistle in 1995, which uses complex manipulations of automata. We show a new solution to the problem through a reduction to obliging games, which, in turn, can be reduced to $\omega$-regular reactive synthesis. Therefore, our reduction results in a symbolic algorithm based on manipulating sets of states.

引用

页码：385 / 392

页数：8

共 50 条

[21] Design of a supervisory predictive controller and its application to thermal power plants
Sáez, D
Ordys, A
Grimble, M
OPTIMAL CONTROL APPLICATIONS & METHODS, 2005, 26 (04) : 169 - 198
[22] Discrete-Event Systems Supervisory Control for a Dynamic Flow Controller
Afzalian, Ali A.
Niaki, S. Ali Nabavi
Iravani, M. Reza
Wonham, W. M.
IEEE TRANSACTIONS ON POWER DELIVERY, 2009, 24 (01) : 219 - 230
[23] Computer implementable algorithm for the synthesis of an optimal controller for acyclic discrete event processes
Mohanty, SR
Chandra, V
Kumar, R
ICRA '99: IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1-4, PROCEEDINGS, 1999, : 126 - 130
[24] Designing communicating transaction processes by supervisory control theory
L. Feng
W. M. Wonham
P. S. Thiagarajan
Formal Methods in System Design, 2007, 30 : 117 - 141
[25] Efficient supervisory synthesis of large systems
Vahidi, Arash
Fabian, Martin
Lennartson, Bengt
CONTROL ENGINEERING PRACTICE, 2006, 14 (10) : 1157 - 1167
[26] Performance Enhancement of Supervisory Control for Largely Mismatched Processes
Li, Shengbo Eben
Gao, Feng
2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 8021 - 8026
[27] Fault monitoring and supervisory control of cascaded manufacturing processes
Cho, KH
Lim, JT
INTELLIGENT SYSTEMS IN DESIGN AND MANUFACTURING III, 2000, 4192 : 11 - 15
[28] Designing communicating transaction processes by supervisory control theory
Feng, L.
Wonham, W. M.
Thiagarajan, P. S.
FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (02) : 117 - 141
[29] A step towards integrated supervisory control of complex machining processes
Bäckström, M
Wiklund, H
CHANGING THE WAYS WE WORK: SHAPING THE ICT-SOLUTIONS FOR THE NEXT CENTURY, 1998, 8 : 769 - 778
[30] A Matlab-based Petri net supervisory controller for discrete event systems
Flochová, J
Lipták, R
Boel, RK
PROGRAMMABLE DEVICES AND SYSTEMS 2001, 2002, : 113 - 120

← 1 2 3 4 5 →