数据集概述
本数据集为SySCoRe仿真数据，对应HSCC '23会议论文《SySCoRe: Synthesis via Stochastic Coupling Relations》。数据以压缩包形式提供，无目录层级，包含1个文件，未区分训练/测试、数据/标签或原始/处理数据，可用于混合系统随机耦合关系合成相关研究。
文件详解
- 文件名称：DataSetSySCoRe.zip
- 文件格式：ZIP
- 字段映射介绍：无README或内容预览，无法获取具体字段信息。
数据来源
HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control
适用场景
- 混合系统随机耦合关系合成研究: 用于验证SySCoRe方法在混合系统中的合成效果。
- 学术论文数据复现: 支持对论文《SySCoRe: Synthesis via Stochastic Coupling Relations》的实验结果进行复现和验证。
- 混合系统控制仿真分析: 为混合系统控制领域的仿真实验提供数据支持。
- 随机耦合关系算法优化: 基于仿真数据优化随机耦合关系相关算法。
