{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T05:17:38Z","timestamp":1700284658993},"reference-count":27,"publisher":"Wiley","issue":"1","license":[{"start":{"date-parts":[[2004,3,15]],"date-time":"2004-03-15T00:00:00Z","timestamp":1079308800000},"content-version":"vor","delay-in-days":14,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Numer Analy &amp; Comput"],"published-print":{"date-parts":[[2004,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>System dynamics is naturally expressed by means of differential equations. Despite their expressive power, they are difficult to reason about and to make decisions upon, given their non\u2010linearity and the important effects that the uncertainty on data may cause. In contrast with traditional numerical simulations that may only provide a likelihood of the results obtained, we propose a constraint reasoning framework that enables safe decision support despite data uncertainty. The approach is illustrated in the tuning of drug design and in an epidemiological study. (\u00a9 2004 WILEY\u2010VCH Verlag GmbH &amp; Co. KGaA, Weinheim)<\/jats:p>","DOI":"10.1002\/anac.200310012","type":"journal-article","created":{"date-parts":[[2004,3,15]],"date-time":"2004-03-15T17:00:38Z","timestamp":1079370038000},"page":"140-154","source":"Crossref","is-referenced-by-count":3,"title":["Constraint Reasoning with Differential Equations"],"prefix":"10.1002","volume":"1","author":[{"given":"Jorge","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2004,3,15]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"C.BendstenandO.Stauning FADBAD a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Mathods Technical Report 1996\u2010x5\u201094 Department of Mathematical Modelling Technical University of Denmark DK\u20102800 Lyngby Denmark 1996."},{"key":"e_1_2_1_3_2","unstructured":"C.BendstenandO.Stauning TADIFF a Flexible C++ Package for Automatic Differentiation Using Taylor Series Technical Report 1997\u2010x5\u201094 Department of Mathematical Modelling Technical University of Denmark DK\u20102800 Lyngby Denmark 1997."},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"H.Collavizza F.Delobel M.Rueher A Note on Partial Consistencies over Continuous Domains Principles and Practice of Constraint Programming Springer 147 (1998).","DOI":"10.1007\/3-540-49481-2_12"},{"key":"e_1_2_1_5_2","unstructured":"G. F.CorlissandR.Rihm Validating an A Priori Enclosure Using High\u2010Order Taylor Series. In Scientific Computing Computer Arithmetic and Validated Numeric G. Alefeld and A. Frommer (eds.) Akademie Verlag Berlin 228 (1996)."},{"key":"e_1_2_1_6_2","doi-asserted-by":"crossref","unstructured":"J.CruzandP.Barahona Handling Differential Equations with Constraints for Decision Support Frontiers of Combining Systems Springer 105 (2000).","DOI":"10.1007\/10720084_8"},{"key":"e_1_2_1_7_2","doi-asserted-by":"crossref","unstructured":"J.CruzandP.Barahona Global Hull Consistency with Local Search for Continuous Constraint Solving 10th Portuguese Conference on AI. Springer 349 (2001).","DOI":"10.1007\/3-540-45329-6_34"},{"key":"e_1_2_1_8_2","doi-asserted-by":"crossref","unstructured":"J.CruzandP.Barahona Maintaining Global Hull Consistency with Local Search for Continuous CSPs 1st Int. Workshop on Global Constrained Optimization and Constraint Satisfaction Sophia\u2010Antipolis France 2002 Springer 178 (2003).","DOI":"10.1007\/978-3-540-39901-8_14"},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"J.CruzandP.Barahona Constraint Satisfaction Differential Problems Principles and Practice of Constraint Programming Springer 259 (2003).","DOI":"10.1007\/978-3-540-45193-8_18"},{"key":"e_1_2_1_10_2","unstructured":"J.Cruz J. Constraint Reasoning for Differential Equations PhD thesis submitted (2003)."},{"key":"e_1_2_1_11_2","doi-asserted-by":"crossref","unstructured":"Y.Deville M.JanssenandP.Van Hentenryck Consistency Techniques in Ordinary Differential Equations Principles and Practice of Constraint Programming Springer 162 (1998).","DOI":"10.1007\/3-540-49481-2_13"},{"key":"e_1_2_1_12_2","unstructured":"P.Eijgenraam The Solution of Initial Value Problems Using Interval Arithmetic Mathematical Centre Tracts N144 Stichting Mathematisch Centrum Amsterdam 1981."},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00143879"},{"key":"e_1_2_1_14_2","doi-asserted-by":"crossref","unstructured":"M.Janssen P.Van HentenryckandY.Deville Optimal Pruning in Parametric Differential Equations Principles and Practice of Constraint Programming Springer 539 (2001).","DOI":"10.1007\/3-540-45578-7_37"},{"key":"e_1_2_1_15_2","unstructured":"F.Krckeberg.Ordinary Differential Equations in Topics in Interval Analysis E. Hansen (ed.) Clarendon Press Oxford 91 (1969)."},{"key":"e_1_2_1_16_2","unstructured":"R. J.Lohner Einschliebung der L\u00f6sung gew\u00f6hnlicher Anfangs\u2010 und Randwertaufgaben und Anwendungen PhD thesis Universit\u00e4t Karlsruhe 1988."},{"key":"e_1_2_1_17_2","unstructured":"R. J.Lohner Step Size and Order Control in the Verified Solution of IVP with ODEs SciCADE'95 International Conference on Scientific Computation and Differential Equations Stanford Calif. 1995."},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"e_1_2_1_19_2","unstructured":"R. E.Moore Interval Analysis. Prentice\u2010Hall Englewood Cliffs NJ 1966."},{"key":"e_1_2_1_20_2","unstructured":"J. D.Murray Mathematical Biology 2nd Edition Springer 1991."},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"N. S.Nedialkov Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis Univ. of Toronto Canada 1999.","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0096-3003(98)10083-8"},{"key":"e_1_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014798618404"},{"key":"e_1_2_1_24_2","unstructured":"R.Rihm Interval Methods for Initial Value Problems in ODEs. In Topics in Validated Computations: Proceedinds of the IMACS\u2010GAMM International Workshop on Validated Computations University of Oldenburg J. Herzberger ed. Elsevier Studies in Computational Mathematics Elsevier Amsterdam New York 1994."},{"key":"e_1_2_1_25_2","unstructured":"L. F.Shampine.Numerical Solution of Ordinary Differential Equations. New York Chapman and Hall 1994."},{"key":"e_1_2_1_26_2","unstructured":"E.Spitznagel Two\u2010Compartment Pharmacokinetic Models C\u2010ODE\u2010E Harvey Mudd College Claremont CA 1992."},{"key":"e_1_2_1_27_2","unstructured":"O.Stauning Enclosing Solutions of Ordinary Differential Equations. Technical Report IMM\u2010REP\u20101996\u201018 Department of Mathematical Modelling Technical University of Denmark DK\u20102800 Lyngby Denmark 1996."},{"key":"e_1_2_1_28_2","unstructured":"O.Stauning Automatic Validation of Numerical Solutions PhD thesis Technical University of Denmark DK\u20102800 Lyngby Denmark 1997."}],"container-title":["Applied Numerical Analysis &amp; Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fanac.200310012","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/anac.200310012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T02:17:39Z","timestamp":1700273859000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/anac.200310012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["10.1002\/anac.200310012"],"URL":"https:\/\/doi.org\/10.1002\/anac.200310012","archive":["Portico"],"relation":{},"ISSN":["1611-8170","1611-8189"],"issn-type":[{"value":"1611-8170","type":"print"},{"value":"1611-8189","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}