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 条
  • [1] Partial-Order Reduction for Supervisory Controller Synthesis
    van der Sanden, Bram
    Geilen, Marc
    Reniers, Michel
    Basten, Twan
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (02) : 870 - 885
  • [2] A Reactive Synthesis Approach to Supervisory Control of Terminating Processes
    Schmuck, Anne-Kathrin
    Moor, Thomas
    Schmidt, Klaus Werner
    IFAC PAPERSONLINE, 2020, 53 (02): : 2149 - 2156
  • [3] On the relation between reactive synthesis and supervisory control of non-terminating processes
    Schmuck, Anne-Kathrin
    Moor, Thomas
    Majumdar, Rupak
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2020, 30 (01): : 81 - 124
  • [4] Component-wise Supervisory Controller Synthesis in a Client/Server Architecture
    Loose, Robin
    van der Sanden, Bram
    Reniers, Michel
    Schiffelers, Ramon
    IFAC PAPERSONLINE, 2018, 51 (07): : 381 - 387
  • [5] Quantitative Supervisory Control Game for Discrete Event Systems
    Pruekprasert, Sasinee
    Ushio, Toshimitsu
    Kanazawa, Takafumi
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 61 (10) : 2987 - 3000
  • [6] On the relation between reactive synthesis and supervisory control of non-terminating processes
    Anne-Kathrin Schmuck
    Thomas Moor
    Rupak Majumdar
    Discrete Event Dynamic Systems, 2020, 30 : 81 - 124
  • [7] Supervisory control and reactive synthesis: a comparative introduction
    Ehlers, Ruediger
    Lafortune, Stephane
    Tripakis, Stavros
    Vardi, Moshe Y.
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (02): : 209 - 260
  • [8] Predicting controller capacity in supervisory control of multiple UAVs
    Cummings, Mary L.
    Mitchell, Paul J.
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (02): : 451 - 460
  • [9] Supervisory controller design based on Lyapunov stable theory
    Hsueh, Yao-Chu
    Su, Shun-Feng
    2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 2213 - 2218
  • [10] Modeling and simulation of a fuzzy supervisory controller for an industrial boiler
    Arriaga-de-Valle, Enrique
    Dieck-Assad, Graciano
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2006, 82 (12): : 841 - 850
12345