Konferenzen zum Thema Mathematische Logik in Schweden

Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.

1.
 
SNR'17 — 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ID
855529
Beginn
22. Apr 2017
Ort
Uppsala, Schweden
Zusammenfassung
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.
Kontakt
Erika Abraham;     Email: abraham@cs.rwth-aachen.de
Themen
cyber-physical systems, hybrid systems, formal methods, verification, safety, reachability analysis, simulation
Verwandte Fachgebiete

Alle Konferenzen in Schweden anzeigen.

New Techniques and Technologies for Statistics 2017, Brussels, Belgium, 14 to 16 March 2017
AIP Conference Proceedings

Interessant...

Ihr Banner-Ad könnte an dieser Stelle erscheinen!

Stand vom 07. Dezember 2016