HyMn: Mining linear hybrid automata from input output traces of cyber-physical systems.

Imane Lamrani Ayan Banerjee Sandeep K. S. Gupta

Published in: ICPS (2018)

Keyphrases

input output
hybrid automata
cyber physical systems
internal states
cyber physical
nonlinear functions
data mining
knowledge discovery
data mining methods
finite state automata
ibm zenterprise
learning algorithm
data collection