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 条

[41] Interactive modeling software for supervisory control of industrial processes with increased complexity
Li, K
Wieringa, PA
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 2713 - 2718
[42] Offline supervisory control synthesis: taxonomy and recent developments
Fokkink, Wan
Goorden, Martijn
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2024, 34 (04): : 605 - 657
[43] Supervisory Fuzzy Expert Controller for Sag Mill Grinding Circuits: Sungun Copper Concentrator
Hadizadeh, Mehdi
Farzanegan, Akbar
Noaparast, Mohammad
MINERAL PROCESSING AND EXTRACTIVE METALLURGY REVIEW, 2017, 38 (03): : 168 - 179
[44] Structured Synthesis of Fault-Tolerant Supervisory Controllers
Reijnen, F. F. H.
Reniers, M. A.
van de Mortel-Fronczak, J. M.
Rooda, J. E.
IFAC PAPERSONLINE, 2018, 51 (24): : 894 - 901
[45] Distributed Supervisory Control Synthesis For Discrete Manufacturing Systems
Qamsane, Y.
Tajer, A.
Philippot, A.
IFAC PAPERSONLINE, 2016, 49 (12): : 396 - 401
[46] Assume-Guarantee Synthesis of Decentralised Supervisory Control
Mainhardt, Ana Maria
Schmuck, Anne-Kathrin
IFAC PAPERSONLINE, 2022, 55 (28): : 165 - 172
[47] Design of Fuzzy Self-adaptive Controller Based on Anti-windup Supervisory Control
Xu Wen-wei
He Han-lin
Yan Lu
2015 34TH CHINESE CONTROL CONFERENCE (CCC), 2015, : 918 - 922
[48] Design and Manufacture of a Smart Greenhouse with Supervisory Control of Environmental Parameters Using Fuzzy Inference Controller
Alaviyan, Y.
Aghaseyedabdollah, Mh
Sadafi, Mh
Yazdizade, A.
2020 6TH IRANIAN CONFERENCE ON SIGNAL PROCESSING AND INTELLIGENT SYSTEMS (ICSPIS), 2020,
[49] Supervisory control of multiple robots based on a real-time strategy game interaction paradigm
Jones, H
Snyder, M
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 383 - 388
[50] Decentralized supervisory controller design for discrete-event systems using overlapping decompositions and expansions
Aybar, A
Iftar, A
DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2004, 11 (4-5): : 553 - 568

← 1 2 3 4 5 →