Gray-Box Learning of Serial Compositions of Mealy Machines

被引：9
|
作者：
Abel, Andreas [1 ]
Reineke, Jan [1 ]
机构：
[1] Univ Saarland, Dept Comp Sci, Saarbrucken, Germany
来源：
NASA FORMAL METHODS, NFM 2016 | 2016年 / 9690卷
关键词：
INFERENCE;
D O I：
10.1007/978-3-319-40648-0_21
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We study the following gray-box learning problem: Given the serial composition of two Mealy machines A and B, where A is known and B is unknown, the goal is to learn a model of B using only output and equivalence queries on the composed machine. We introduce an algorithm that solves this problem, using at most vertical bar B vertical bar equivalence queries, independently of the size of A. We discuss its efficient implementation and evaluate the algorithm on existing benchmark sets as well as randomly-generated machines.
引用
收藏
页码：272 / 287
页数：16
相关论文
共 50 条
  • [31] Gray-Box Modeling of a Pneumatic Servo-Valve
    Toorani, Farhad
    Farahmandzad, Hosein
    Aghamirsalim, Mojtaba
    ACTA POLYTECHNICA HUNGARICA, 2010, 7 (05) : 129 - 142
  • [32] Gray-Box Models for Performance Assessment of Spark Applications
    Lattuada, Marco
    Gianniti, Eugenio
    Hosseini, Marjan
    Ardagna, Danilo
    Maros, Alexandre
    Murai, Fabricio
    Couto da Silva, Ana Paula
    Almeida, Jussara M.
    CLOSER: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND SERVICES SCIENCE, 2019, : 609 - 618
  • [33] On Lipschitz optimization based on gray-box piecewise linearization
    Griewank, Andreas
    Walther, Andrea
    Fiege, Sabrina
    Bosse, Torsten
    MATHEMATICAL PROGRAMMING, 2016, 158 (1-2) : 383 - 415
  • [34] Are Gradients on Graph Structure Reliable in Gray-box Attacks?
    Liu, Zihan
    Luo, Yun
    Wu, Lirong
    Li, Siyuan
    Liu, Zicheng
    Li, Stan Z.
    PROCEEDINGS OF THE 31ST ACM INTERNATIONAL CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT, CIKM 2022, 2022, : 1360 - 1368
  • [35] Gray-box approach to fault diagnosis of dynamical systems
    Zak, M
    Park, H
    2001 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2001, : 669 - 675
  • [36] A Combinatorial Test Suite Generator for Gray-Box Testing
    Barrett, Anthony
    Dvorak, Daniel
    SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS, 2009, : 387 - 393
  • [37] Black and Gray-Box Identification of a Hydraulic Pumping System
    Barbosa, Bruno H. G.
    Aguirre, Luis A.
    Martinez, Carlos B.
    Braga, Antonio P.
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2011, 19 (02) : 398 - 406
  • [38] Gray-box modeling approach for description of storage tunnel
    Carstensen, J
    Harremoës, P
    JOURNAL OF HYDRAULIC ENGINEERING-ASCE, 1999, 125 (01): : 17 - 25
  • [39] Learning Mealy machines with one timer
    Vaandrager, Frits
    Ebrahimi, Masoud
    Bloem, Roderick
    INFORMATION AND COMPUTATION, 2023, 295
  • [40] Gray-Box Model Identification of an Integrated Plant with Recycle
    Tosukhowong, Thidarat
    Lee, Jay H.
    INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2008, 47 (21) : 8273 - 8281
12345