Systems and methods for hybrid automata mining from input-output traces of cyber-physical systems

摘要

Systems and methods for mining hybrid automata from input-output traces of cyber-physical systems are disclosed herein.