Issue
Dagstuhl Reports, Volume 6, Issue 12
-
Part of:
Volume:
Dagstuhl Reports, Volume 6
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2017-04-18
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports6
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue
Abstract
Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue
Cite as
Dagstuhl Reports, Volume 6, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
Copy BibTex To Clipboard
@Article{DagRep.6.12,
title = {{Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {12},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.12},
URN = {urn:nbn:de:0030-drops-71153},
doi = {10.4230/DagRep.6.12},
annote = {Keywords: Dagstuhl Reports, Volume 6, Issue 12, December 2016, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 6, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
Copy BibTex To Clipboard
@Article{DagRep.6.12.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {6},
number = {12},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.12.i},
URN = {urn:nbn:de:0030-drops-71149},
doi = {10.4230/DagRep.6.12.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 6, Issue 12, 2016}
}
Document
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491)
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.
Cite as
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, and Nacim Ramdani. Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). In Dagstuhl Reports, Volume 6, Issue 12, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
Copy BibTex To Clipboard
@Article{bogomolov_et_al:DagRep.6.12.1,
author = {Bogomolov, Sergiy and Fr\"{a}nzle, Martin and Makino, Kyoko and Ramdani, Nacim},
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 = {Bogomolov, Sergiy and Fr\"{a}nzle, Martin and Makino, Kyoko and Ramdani, Nacim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.6.12.1},
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}
}