Learning Models of Cyber-Physical Systems using Automata Learning

被引:0
|
作者
Schammer, Lutz [1 ]
Plambeck, Swantje [1 ]
Bahnsen, Fin Hendrik [1 ]
Fey, Goerschwin [1 ]
机构
[1] Hamburg Univ Technol, Inst Embedded Syst, D-21073 Hamburg, Germany
关键词
D O I
10.1109/COMPSAC51774.2021.00169
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
In this paper we examine two case studies in which we learn finite state machines from models of CPS using automata learning. We explore how well automata learning is suited as an approach for learning CPS. What challenges and problems exist when trying to learn a model of a CPS using automata learning. Automata learning can reliably learn finite state machines of systems like embedded systems or software systems. CPS pose different challenges, like continuous components, for which different levels of abstractions and considerations have to be used, so the resulting finite state machines are useful representations of the systems. Through the small, yet insightful case studies we show examples of how automata learning can be applied to CPS and what information the resulting automata can represent.
引用
收藏
页码:1224 / 1229
页数:6
相关论文
共 50 条
  • [1] Online Passive Learning of Timed Automata for Cyber-Physical Production Systems
    Maier, Alexander
    [J]. 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 60 - 66
  • [2] Active learning of formal plant models for cyber-physical systems
    Ovsiannikova, Polina
    Chivilikhin, Daniil
    Ulyantsev, Vladimir
    Stankevich, Andrey
    Zakirzyanov, Ilya
    Vyatkin, Valeriy
    Shalyto, Anatoly
    [J]. 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2018, : 719 - 724
  • [3] Collaborative Learning with Cyber-physical systems
    Pester, Andreas
    Madritsch, Christian
    Klinger, Thomas
    [J]. PROCEEDINGS OF 2015 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON), 2015, : 184 - 188
  • [4] INTERPRETABLE MACHINE LEARNING USING SWITCHED LINEAR MODELS FOR SECURITY OF CYBER-PHYSICAL SYSTEMS
    Puri, Anuj
    Ray, Sumit
    [J]. 2020 INTEGRATED COMMUNICATIONS NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2020,
  • [5] Security Analysis of Cyber-Physical Systems Using Reinforcement Learning
    Ibrahim, Mariam
    Elhafiz, Ruba
    [J]. SENSORS, 2023, 23 (03)
  • [6] Robust Testing for Cyber-Physical Systems using Reinforcement Learning
    Qin, Xin
    Arechiga, Nikos
    Deshmukh, Jyotirmoy
    Best, Andrew
    [J]. 2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 36 - 46
  • [7] Using Ensemble Learning for Anomaly Detection in Cyber-Physical Systems
    Jeffrey, Nicholas
    Tan, Qing
    Villar, Jose R.
    [J]. ELECTRONICS, 2024, 13 (07)
  • [8] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
    Yamagata, Yoriyuki
    Liu, Shuang
    Akazaki, Takumi
    Duan, Yihai
    Hao, Jianye
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2021, 47 (12) : 2823 - 2840
  • [9] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
    Akazaki, Takumi
    Liu, Shuang
    Yamagata, Yoriyuki
    Duan, Yihai
    Hao, Jianye
    [J]. FORMAL METHODS, 2018, 10951 : 456 - 465
  • [10] Learning Tracking Control for Cyber-Physical Systems
    Wu, Chengwei
    Pan, Wei
    Sun, Guanghui
    Liu, Jianxing
    Wu, Ligang
    [J]. IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (11) : 9151 - 9163