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

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2020

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů