Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
Anne Remke (University of M\"unster, Germany), Dung Hoang Tran, (University of Nebraska Lincoln, USA)
TL;DR
This workshop proceedings highlight advances in combining symbolic and numeric methods to improve reasoning, verification, and control in Cyber-Physical Systems and IoT, emphasizing their complementary strengths.
Contribution
The collection presents new peer-reviewed research and invited talks on integrating symbolic and numeric techniques for CPS and IoT reasoning.
Findings
Enhanced model verification techniques
Improved control synthesis methods
Synergistic approaches for CPS and IoT reasoning
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.