Time Series from Hybrid Automata Simulation

该数据集包含了从参数化恒温器模型生成的时间序列数据，模拟了并行运行的独立恒温器。该数据集被用于评估所提出算法的可扩展性，并合成了一个线性混合自动机模型，该模型具有特定参数的模拟数据。由于在分析之前去除了时间变量，因此时间序列数据中不包含时间变量。数据规模涉及20个时间序列中的3,557个数据点。任务是对时间序列数据中的混合自动机进行模型合成和评估。

This dataset contains time-series data generated from a parameterized thermostat model, which simulates independent thermostats running in parallel. It is employed to evaluate the scalability of the proposed algorithm, and simulated data corresponding to a linear hybrid automaton model with specific parameters is synthesized. Since the time variable was removed prior to analysis, the time-series data does not include any time variables. The dataset comprises 3,557 data points across 20 time series. The task is to conduct model synthesis and evaluation of the hybrid automaton using this time-series data.