论文标题
会议记录第七届国际研讨会有关CP和IoT推理的符号数字方法
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
论文作者
论文摘要
关于CPS和IoT（SNR 2021）推理的第七届国际国际研讨会论文集（SNR 2021），其中包括五项同行评审的贡献和三项邀请的演讲。 SNR专注于符号和数字方法的组合，用于推理网络物理系统和物联网，以促进这些系统的模型识别，规范，验证和控制综合。符号和数值方法之间的协同作用得益于它们的互补性。
The proceedings of the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021) feature five peer-reviewed contributions and three invited talks. SNR focuses on the combination of symbolic and numeric methods for reasoning about Cyber-Physical Systems and the Internet of Things to facilitate model identification, specification, verification, and control synthesis for these systems. The synergy between symbolic and numerical approaches is fruitful thanks to their complementarity.
