Data-Driven Supervisory Control of Discrete-Event Systems With Forcible Events

被引：0
作者：
Gu, Chao [1 ]
Gao, Chao [2 ]
Cai, Kai [3 ]
机构：
[1] Xidian Univ, Xian, Peoples R China
[2] Univ Le Havre Normandie, Le Havre, France
[3] Osaka Metropolitan Univ, Osaka, Japan
来源：
IFAC PAPERSONLINE | 2024年 / 58卷 / 01期
关键词：
Discrete-event system; supervisory control; data-driven; forcible event;
D O I：
10.1016/j.ifacol.2024.07.021
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper explores the problem of analysis and control towards model-unknown discrete-event systems. Using data, i.e. partly observed output event sequences and some pre-established knowledge, we apply an event-forcing mechanism to verify an extended concept of controllability, namely forcible-controllability, and develop control strategies with respect to the observed specification language. In particular, for the given data, a property namely forcible-informativity is proposed, representing a criterion for determining the forcible-controllability of the observed specification language. The data-driven supervisory control is also devised accordingly, if feasible.
引用
收藏
页码：120 / 125
页数：6
相关论文
共 17 条
[1]   SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS [J].
BRANDIN, BA ;
WONHAM, WM .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1994, 39 (02) :329-342
[2]   Supervisory Control of Time-Interval Discrete Event Systems [J].
Brandin, Bertil ;
Su, Rong ;
Lin, Liyong .
IFAC PAPERSONLINE, 2020, 53 (04) :217-222
[3]  
Cai K., 2022, Systems, Control and Information, V66, P359
[4]  
Cassandras C., 2021, Introduction to Discrete Event Systems, V3rd
[5]   MIDES: A Tool for Supervisor Synthesis via Active Learning [J].
Farooqui, Ashfaq ;
Hagebring, Fredrik ;
Fabian, Martin .
2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, :792-797
[6]   Identification and the Information Matrix: How to Get Just Sufficiently Rich? [J].
Gevers, Michel ;
Bazanella, Alexandre Sanfelice ;
Bombois, Xavier ;
Miskovic, Ljubisa .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (12) :2828-2840
[7]   From model-based control to data-driven control: Survey, classification and perspective [J].
Hou, Zhong-Sheng ;
Wang, Zhuo .
INFORMATION SCIENCES, 2013, 235 :3-35
[8]  
Ljung L, 1998, APPL NUM HARM ANAL, P163
[9]  
Miura S, 2018, IEEE DECIS CONTR P, P3956, DOI 10.1109/CDC.2018.8619246
[10]   Data-Informativity for Data-Driven Supervisory Control of Discrete-Event Systems [J].
Ohtsuka, Tomofumi ;
Cai, Kai ;
Kashima, Kenji .
2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, :6923-6928
12