共 50 条
- [1] Online Passive Learning of Timed Automata for Cyber-Physical Production Systems [J]. 2014 12TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2014, : 60 - 66
- [2] Active learning of formal plant models for cyber-physical systems [J]. 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2018, : 719 - 724
- [3] Collaborative Learning with Cyber-physical systems [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 [J]. 2020 INTEGRATED COMMUNICATIONS NAVIGATION AND SURVEILLANCE CONFERENCE (ICNS), 2020,
- [6] Robust Testing for Cyber-Physical Systems using Reinforcement Learning [J]. 2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 36 - 46
- [9] Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning [J]. FORMAL METHODS, 2018, 10951 : 456 - 465
- [10] Learning Tracking Control for Cyber-Physical Systems [J]. IEEE INTERNET OF THINGS JOURNAL, 2021, 8 (11) : 9151 - 9163