Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F20%3A00537592" target="_blank" >RIV/67985807:_____/20:00537592 - isvavai.cz</a>
Result on the web
<a href="http://eptcs.web.cse.unsw.edu.au/content.cgi?SNR2020#EPTCS331.0" target="_blank" >http://eptcs.web.cse.unsw.edu.au/content.cgi?SNR2020#EPTCS331.0</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
Original language description
Welcome to the proceedings of the 6th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2020). The workshop was planned to take place in Vienna, Austria as a satellite event of QONFEST'20. Due to the COVID-19 pandemic, the whole event took place online. 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: - Symbolic methods operate on exact and discrete representations of systems, the set of reachable states, the distribution of model parameters or the possible gains for controller parameters. - Numeric methods operate on various forms of numerical approximations and continuous transformations of the systems, as developed in the area of continuous dynamical systems and control theory.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů