Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Thao Dang (Verimag/CNRS, France), Stefan Ratschan (Institute of, Computer Science, Czech Academy of Sciences)
TL;DR
This collection of papers from SNR 2020 explores the integration of symbolic and numeric methods to improve reasoning, verification, and control of Cyber-Physical Systems and IoT devices.
Contribution
It presents recent advances in combining symbolic and numeric techniques specifically tailored for CPS and IoT reasoning tasks.
Findings
Enhanced model verification techniques for CPS and IoT
New algorithms for hybrid symbolic-numeric reasoning
Improved methods for system control synthesis
Abstract
The proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020) contains papers underlying talks presented at the workshop. 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.
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.