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 条
  • [1] Understanding and applying the extrapolation properties of serial gray-box models
    van Can, HJL
    teBraake, HAB
    Dubbelman, S
    Hellinga, C
    Luyben, KCAM
    Heijnen, JJ
    AICHE JOURNAL, 1998, 44 (05) : 1071 - 1089
  • [2] Gray-Box Conformance Testing for Symbolic Reactive State Machines
    Taromirad, Masoumeh
    Mousavi, Mohammad Reza
    FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, 2017, 10522 : 228 - 243
  • [3] Sandpiper: Black-box and gray-box resource management for virtual machines
    Wood, Timothy
    Shenoy, Prashant
    Venkataramani, Arun
    Yousif, Mazin
    COMPUTER NETWORKS, 2009, 53 (17) : 2923 - 2938
  • [4] Gray-Box Shilling Attack: An Adversarial Learning Approach
    Wang, Zongwei
    Gao, Min
    Li, Jundong
    Zhang, Junwei
    Zhong, Jiang
    ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY, 2022, 13 (05)
  • [5] Gray-Box Adversarial Training
    Vivek, B. S.
    Mopuri, Konda Reddy
    Babu, R. Venkatesh
    COMPUTER VISION - ECCV 2018, PT 15, 2018, 11219 : 213 - 228
  • [6] GRAY-BOX MODEL IDENTIFICATION
    GAWTHROP, PJ
    JEZEK, J
    JONES, RW
    SROKA, I
    CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1993, 9 (01): : 139 - 157
  • [7] Gray-box modeling of nonideal sensors
    Pearson, RK
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 4404 - 4409
  • [8] Gray-Box Modeling of Guitar Amplifiers
    Eichas, Felix
    Zoelzer, Udo
    JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 2018, 66 (12): : 1006 - 1015
  • [9] A Standalone Gray-Box EtherCAT Fuzzer
    Akpinar, Kevser Ovaz
    Ozcelik, Ibrahim
    2018 2ND INTERNATIONAL SYMPOSIUM ON MULTIDISCIPLINARY STUDIES AND INNOVATIVE TECHNOLOGIES (ISMSIT), 2018, : 142 - 145
  • [10] Gray-box Adversarial Testing for Control Systems with Machine Learning Components
    Yaghoubi, Shakiba
    Fainekos, Georgios
    PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, : 179 - 184
12345