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 条

[31] Development of an interface between a supervisory shop controller and MRP system in a CIM environment
Erevelles, WF
Aithal, SK
JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 1996, 61 (1-2) : 120 - 123
[32] Modular state feedback controller for the supervisory control of timed discrete event systems
Khatab, A
Nourelfath, M
PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2005, : 508 - 512
[33] Modular supervisory control for multi-floor manufacturing processes
Fotis N. Koumboulis
Dimitrios G. Fragkoulis
Aristides A. Michos
Control Theory and Technology, 2023, 21 : 148 - 160
[34] Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers
Stéphane Lafortune
Stavros Tripakis
Moshe Y. Vardi
Discrete Event Dynamic Systems, 2017, 27 : 209 - 260
[35] Modular supervisory control for multi-floor manufacturing processes
Koumboulis, Fotis N.
Fragkoulis, Dimitrios G.
Michos, Aristides A.
CONTROL THEORY AND TECHNOLOGY, 2023, 21 (02) : 148 - 160
[36] Cascade Controller Design using Controller Synthesis
Kaya, Ibrahim
Nalbantoglu, Mustafa
2015 19TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2015, : 32 - 36
[37] Direct adaptive fuzzy output feedback control with supervisory controller for uncertain nonlinear systems
Tong, Shaocheng
Xu, Jinxue
Wang, Yongfu
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2005, 12 : 142 - 152
[38] A fuzzy logic based supervisory controller for an FC/UC hybrid vehicular power system
Eren, Y.
Erdinc, O.
Gorgun, H.
Uzunoglu, M.
Vural, B.
INTERNATIONAL JOURNAL OF HYDROGEN ENERGY, 2009, 34 (20) : 8681 - 8694
[39] Supervisory Control of Convertible Static Transmission Controller in Shunt-Shunt Mode of Operation
Yousefpoor, Nima
Kim, Sungmin
Bhattacharya, Subhashish
Parkhideh, Babak
39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 1314 - 1319
[40] A neuro-fuzzy supervisory control system for industrial batch processes
Frey, CW
Kuntze, HB
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2001, 9 (04) : 570 - 577

← 1 2 3 4 5 →