10.4230/DAGREP.6.12.1
Bogomolov, Sergiy
Sergiy
Bogomolov
Fränzle, Martin
Martin
Fränzle
Makino, Kyoko
Kyoko
Makino
Ramdani, Nacim
Nacim
Ramdani
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2017
Seminar Report
constraint solving
cyber-physical systems
formal methods
hybrid systems
optimization methods
planning
robotics
verified numerical methods
2017
2017-04-12
2017-04-12
2017-04-12
en
urn:nbn:de:0030-drops-71085
10.4230/DagRep.6.12.0
2192-5283
2192-5283
Dagstuhl Reports (DagRep)
2017
6
12
1
1
28
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
28 pages
993497 bytes
application/pdf
Creative Commons Attribution 3.0 Unported license
info:eu-repo/semantics/openAccess
Reflecting the fundamental role numeric and mixed symbolic-numeric arguments play in the analysis, decision making, and control of cyber-physical processes, this seminar promoted cross-fertilization between the following research areas relevant to problem solving in cyber-physical domains: verification of numerical reactive systems such as embedded floating-point programs and hybrid systems, including novel means of error-propagation analysis; numerical and/or symbolic methods such as verified integrations, interval methods and arithmetic constraint solving; reactive and in-advance planning and optimization methods in complexly constrained spaces, robotics, astrodynamics and more. This combination of up to now only loosely coupled areas shed light on how advanced numerical methods can help improve the state of the art in rigorously interpreting and controlling cyber-physical phenomena. It naturally included the broad set of domain-specific solutions to the pertinent issues of performance impact of error propagation and control in various schemes of numeric and blended symbolic-numeric computation.
Dagstuhl Reports, Volume 6, Issue 12, pages 1-28