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…