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 条
  • [41] Gray-Box Loss Model for Induction Motor Drives
    Stender, Marius
    Wallscheid, Oliver
    Bocker, Joachim
    2021 IEEE 19TH INTERNATIONAL POWER ELECTRONICS AND MOTION CONTROL CONFERENCE (PEMC), 2021, : 447 - 453
  • [42] On Lipschitz optimization based on gray-box piecewise linearization
    Andreas Griewank
    Andrea Walther
    Sabrina Fiege
    Torsten Bosse
    Mathematical Programming, 2016, 158 : 383 - 415
  • [43] Hierarchical modelling as a gray-box approach to LIBS spectra classification
    Huffman, Curtis
    Sobral, Hugo
    SPECTROCHIMICA ACTA PART B-ATOMIC SPECTROSCOPY, 2023, 199
  • [44] Identification of the gray-box model with practical applications in industry and energy
    Rehor, Jiri
    Havlena, Vladimir
    PROCEEDINGS OF THE 5TH INTERNATIONAL SCIENTIFIC SYMPOSIUM ON ELECTRIC POWER ENGINEERING - ELEKTROENERGETIKA 2009, 2009, : 419 - +
  • [45] Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations
    Iannillo, Antonio Ken
    Natella, Roberto
    Cotroneo, Domenico
    Nita-Rotaru, Cristina
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2017, : 1 - 11
  • [46] An Effective Gray-Box Identification Procedure for Multicore Thermal Modeling
    Beneventi, Francesco
    Bartolini, Andrea
    Tilli, Andrea
    Benini, Luca
    IEEE TRANSACTIONS ON COMPUTERS, 2014, 63 (05) : 1097 - 1110
  • [47] Neural Gray-Box Identification of Nonlinear Partial Differential Equations
    Sasaki, Riku
    Takeishi, Naoya
    Yairi, Takehisa
    Hori, Koichi
    PRICAI 2019: TRENDS IN ARTIFICIAL INTELLIGENCE, PT II, 2019, 11671 : 309 - 321
  • [48] Gray-Box Model Identification and Payload Estimation for Delta Robots
    Falezza, Fabio
    Vesentini, Federico
    Di Flumeri, Alessandro
    Leopardi, Luca
    Fiori, Gianni
    Mistrorigo, Gianfrancesco
    Muradore, Riccardo
    IFAC PAPERSONLINE, 2020, 53 (02): : 8771 - 8776
  • [49] Towards ground truthing observations in gray-box anomaly detection
    Ming J.
    Zhang H.
    Gao D.
    Proceedings - 2011 5th International Conference on Network and System Security, NSS 2011, 2011, : 25 - 32
  • [50] Comparison of Traditional and Bayesian Calibration Techniques for Gray-Box Modeling
    Pavlak, Gregory S.
    Florita, Anthony R.
    Henze, Gregor P.
    Rajagopalan, Balaji
    JOURNAL OF ARCHITECTURAL ENGINEERING, 2014, 20 (02)
12345