2 papers
cs.SE2026
Synthesizing Behavioural Models of CPS Using Automata Learning and Statistical Machine Learning
Negin Ayoughi, Baharin A. Jodat, Armina Faghihi +3
Inferring behavioural models from system executions is essential for supporting formal verification and analysis of complex, heterogeneous cyber-physical systems (CPS). Automata le…
cs.SE2026
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
Baharin A. Jodat, Khouloud Gaaloul, Mehrdad Sabetzadeh +1
Simulation-based testing of cyber-physical systems (CPS) is costly due to the time-consuming execution of CPS simulators. In addition, CPS simulators may be flaky, leading to incon…