Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Autor:	Dang, Thao, Ratschan, Stefan
Rok vydání:	2021
Předmět:	Computer Science - Logic in Computer Science Computer Science - Symbolic Computation
Zdroj:	EPTCS 331, 2021
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.331
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2101.05256 Zobrazit plný text záznamu View this record from Arxiv