… obtain input output traces. The simulations were carried out in Simulink and model based
T1D simulator [13]. From input output traces, we apply HyMn to obtain the hybrid system model …

… technique through hybrid system mining from input/output traces of deployed AI-enabled
cyber-physical systems… The hybrid automaton model enables formal verification of safety …

… a new technique for synthesizing hybrid automaton from the input-output traces of a non-linear
cyber-physical system. … HyMn: Mining linear hybrid automata from input output traces of …

… one hybrid automaton for the traces starting from the bottom left grid. For the learning, we set
σ = 10−4 for clustering the trace … a framework to mine and learn hybrid automata with linear (…

… of digital circuits, and uses automata-based ideas that are quite … our technique is that we
also look at input-output relations … our technique is that we seek to explain falsifying input traces …

… We exploit the proliferation of input/output (I/O) time series data collected from the operation
… : Mining linear hybrid automata from input output traces of cyber-physical systems,” in Proc. …

… time-state systems processing discrete input-output signals, … between RNN and Finite State
Automata (FSA) in accepting … To this end, we developed a rule extraction technique based …

… method to diagnose faults in cyberphysical systems. Cyber-physical systems [1] are a subset
of technical systems … technical systems. While the presented approach is applicable to most …

… includes input/output functions allowing the system prototype … An execution trace of the
system is a sequence of states that … In this Section, a network of timed automata is developed for …

… of complex power system using data mining techniques and … and finite discrete system
by using hybrid automata, so that … based on a notion of robustness for CPS termed input-output …