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.
翻译：第7次 " 用于计算CPS和IOT的象征性中值方法国际讲习班 " (SNR 2021)的议事录有五份经同行审查的贡献和三次邀请的会谈,该讲习班的重点是将关于网络物理系统和物联网的象征性和数字推理方法结合起来,以便利这些系统的示范性识别、规格、核查和控制合成,由于这些系统的互补性,象征性和数字方法之间的协同作用是富有成果的。
相关内容
Mac 平台下的最佳 GTD 软件之一.有 iOS 版本.
http://culturedcode.com/things/
Arxiv
0+阅读 · 2022年9月2日
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2022年9月2日
微信扫码咨询专知VIP会员