Data-Informativity for Data-Driven Supervisory Control of Discrete-Event Systems

被引：1

作者：

Ohtsuka, Tomofumi ^{[1
]}

Cai, Kai ^{[2
]}

Kashima, Kenji ^{[1
]}

机构：

[1] Kyoto Univ, Grad Sch Informat, Kyoto, Japan

[2] Osaka Metropolitan Univ, Dept Core Informat, Osaka, Japan

来源：

2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC | 2023年

关键词：

D O I：

10.1109/CDC49753.2023.10383395

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this paper we develop a data-driven approach for supervisory control of discrete-event systems (DES). We consider a setup in which models of DES to be controlled are unknown, but a set of data concerning the behaviors of DES is available. We propose a new concept of data-informativity, which captures the notion that the available data set contains sufficient information such that a valid supervisor may be constructed for a family of DES models that all can generate the data set. We then characterize data-informativity with a necessary and sufficient condition, based on which we design an algorithm for its verification.

引用

页码：6923 / 6928

页数：6

共 12 条

[1]

Cai K., 2022, Systems, Control and Information, V66, P359

[2] Synthesis of supervisory controllers for hybrid systems based on approximating automata [J].

Cury, JER ;

Krogh, BH ;

Niinomi, T .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) :564-568

[3] 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

[4] 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

[5]

Hopcroft J. E., 1979, Introduction to Automata Theory, Languages, and Computation

[6]

Konishi M., 2022, P IFAC WODES

[7]

Mukherjee S, 2018, IEEE DECIS CONTR P, P5288, DOI 10.1109/CDC.2018.8619022

[8] On Data-Driven Control: Informativity of Noisy Input-Output Data With Cross-Covariance Bounds [J].

Steentjes, Tom R., V ;

Lazar, Mircea ;

van den Hof, Paul M. J. .

IEEE CONTROL SYSTEMS LETTERS, 2022, 6 :2192-2197

[9] Linear time logic control of discrete-time linear systems [J].

Tabuada, Paulo ;

Pappas, George J. .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 51 (12) :1862-1877

[10]

Van den Hof PMJ, 2020, IEEE DECIS CONTR P, P4354, DOI 10.1109/CDC42340.2020.9304263

← 1 2 →