License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.6.12.1
URN: urn:nbn:de:0030-drops-71085
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7108/
Go back to Dagstuhl Reports


Bogomolov, Sergiy ; Fränzle, Martin ; Makino, Kyoko ; Ramdani, Nacim
Weitere Beteiligte (Hrsg. etc.): Sergiy Bogomolov and Martin Fränzle and Kyoko Makino and Nacim Ramdani

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

pdf-format:
dagrep_v006_i012_p001_s16491.pdf (0.9 MB)


Abstract

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.

BibTeX - Entry

@Article{bogomolov_et_al:DR:2017:7108,
  author =	{Sergiy Bogomolov and Martin Fr{\"a}nzle and Kyoko Makino and Nacim Ramdani},
  title =	{{Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{6},
  number =	{12},
  editor =	{Sergiy Bogomolov and Martin Fr{\"a}nzle and Kyoko Makino and Nacim Ramdani},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7108},
  URN =		{urn:nbn:de:0030-drops-71085},
  doi =		{10.4230/DagRep.6.12.1},
  annote =	{Keywords: constraint solving, cyber-physical systems, formal methods, hybrid systems, optimization methods, planning, robotics, verified numerical methods}
}

Keywords: constraint solving, cyber-physical systems, formal methods, hybrid systems, optimization methods, planning, robotics, verified numerical methods
Seminar: Dagstuhl Reports, Volume 6, Issue 12
Issue Date: 2017
Date of publication: 12.04.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI