Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino & Nacim Ramdani
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.