Synthesis of Supervisors for Unknown Plant Models Using Active Learning

被引：0

作者：

Farooqui, Ashfaq ^{[1
]}

Fabian, Martin ^{[1
]}

机构：

[1] Chalmers Univ Technol, Dept Elect Engn, S-41296 Gothenburg, Sweden

来源：

2019 IEEE 15TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE) | 2019年

关键词：

COMPOSITIONAL SYNTHESIS;

D O I：

10.1109/coase.2019.8843177

中图分类号：

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

学科分类号：

0812 ;

摘要：

This paper proposes an approach to synthesize a discrete-event supervisor to control a plant, the behavior model of which is unknown, so as to satisfy a given specification. To this end, the L* algorithm is modified so that it can actively query a plant simulation and the specification to hypothesize a supervisor. The resulting hypothesis is the maximally permissive controllable supervisor from which the maximally permissive controllable and non-blocking supervisor can be extracted. The practicality of this method is demonstrated by an example.

引用

页码：502 / 508

页数：7

共 50 条

[21] Using Active Learning for Speeding up Calibration in Simulation Models
Cevik, Mucahit
Ergun, Mehmet Ali
Stout, Natasha K.
Trentham-Dietz, Amy
Craven, Mark
Alagoz, Oguzhan
[J]. MEDICAL DECISION MAKING, 2016, 36 (05) : 581 - 593
[22] Using Active Learning to Synthesize Models of Applications That Access Databases
Shen, Jiasi
Rinard, Martin C.
[J]. PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19), 2019, : 269 - 285
[23] Learning Generative Models for Active Inference Using Tensor Networks
Wauthier, Samuel T.
Vanhecke, Bram
Verbelen, Tim
Dhoedt, Bart
[J]. ACTIVE INFERENCE, IWAI 2022, 2023, 1721 : 285 - 297
[24] Learning unknown ODE models with Gaussian processes
Heinonen, Markus
Yildiz, Cagatay
Mannerstrom, Henrik
Intosalmi, Jukka
Lahdesmaki, Harri
[J]. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 80, 2018, 80
[25] Parameterizing open-source energy models: Statistical learning to estimate unknown power plant attributes
Bistline, John E. T.
Merrick, James H.
[J]. APPLIED ENERGY, 2020, 269
[26] A framework for detecting unknown defect patterns on wafer bin maps using active learning
[J]. Lee, Dong-Hee (dhee@skku.edu), 2025, 260
[27] Active learning with local models
Hasenjager, M
Ritter, H
[J]. NEURAL PROCESSING LETTERS, 1998, 7 (02) : 107 - 117
[28] Active learning with statistical models
Massachusetts Inst of Technology, Cambridge, United States
[J]. J Artif Intell Res, (129-145):
[29] Active Learning Models in Indonesia
Jasri, Hilda
Masunah, Juju
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTS AND DESIGN EDUCATION (ICADE 2018), 2018, 255 : 89 - 93
[30] Active learning with statistical models
Cohn, DA
Ghahramani, Z
Jordan, MI
[J]. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1996, 4 : 129 - 145

← 1 2 3 4 5 →