第六届关于 CPS 与物联网推理的符号-数值方法国际研讨会会议录
计算机科学中的逻辑
2021-01-14 v1 符号计算
摘要
第六届关于 CPS 与物联网推理的符号-数值方法国际研讨会（SNR 2020）的会议录包含了在该研讨会上所作报告对应的论文。SNR 聚焦于符号与数值方法的结合，用于推理信息物理系统（Cyber-Physical Systems）与物联网（Internet of Things），以促进这些系统的模型辨识、规约、验证与控制综合。
引用
@article{arxiv.2101.05256,
title = {Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT},
author = {Thao Dang and Stefan Ratschan},
journal= {arXiv preprint arXiv:2101.05256},
year = {2021}
}