@InProceedings{EggFraHer:ICNAAM09:ApplicationConstraintSolvingODEHybridSystems,
author =        "Andreas Eggers and
                 Martin Fr{\"a}nzle and
                 Christian Herde",
title =         "Application of Constraint Solving and ODE-Enclosure Methods to
                 the Analysis of Hybrid Systems",
booktitle =     "NUMERICAL ANALYSIS AND APPLIED MATHEMATICS: International
                 Conference on Numerical Analysis and Applied Mathematics 2009",
editor =        "Theodore E. Simos and
                 George Psihoyios and
                 Ch. Tsitouras",
publisher =     "American Institue of Physics",
address =       "Melville, New York",
series =        "AIP Conference Proceedings",
volume =        "1168",
pages =         "1326--1330",
year =          "2009",
url =           "http://link.aip.org/link/?APC/1168/1326/1",
doi =           "10.1063/1.3241327",
bibtex =        "eggers.icnaam09.bib",
pdf =           "eggers.icnaam09.pdf",
note =          "\copyright American Institute of Physics",
subproject=     "H1/2",
access =        "open",
abstract =      "In this short paper, we summarize our approach to analyzing
                 hybrid discrete-continuous systems by reduction to constraint
                 solving paired with enclosure methods for sets of initial value
                 problems of ordinary differential equations.",
keywords =      "hybrid discrete-continuous systems, verification, ordinary
                 differential equations, constraint solving, PACS: 02.60.Lj,
                 02.70.-c, 89.75.-k"
}