Abstract
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these parameters it is important to know them with sufficient precision to make those decisions safe. This is in principle an adequate field to use interval domains for the parameters, and constraint propagation to obtain safe bounds for them. Although complex, the use of interval constraints with ODEs is receiving increasing interest. However, the usual consistency maintenance techniques (box- and local hull-consistency) for interval domains are often insufficient to cope with parametric ODEs. In this paper we propose a stronger consistency requirement, global hull-consistency, and an algorithm to compute it. To speed up this computation we developed an incremental approach to refine as needed the precision of ODEs trajectories. Our methodology is illustrated with an example of decision support in a medical problem (diagnosis of diabetes).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Deville, Y., Janssen, M., Van Hentenryck, P.: Consistency Techniques in Ordinary Differential Equations. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 162–176. Springer, Heidelberg (1998)
Cruz, J., Barahona, P., Benhamou, F.: Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraints Approach. In: Horn, W., Shahar, Y., Lindberg, G., Andreassen, S., Wyatt, J.C. (eds.) AIMDM 1999. LNCS (LNAI), vol. 1620, p. 185. Springer, Heidelberg (1999)
Collavizza, H., Delobel, F., Rueher, M.: A Note on Partial Consistencies over Continuous Domains. In: Maher, M.J., Puget, J.-F. (eds.) CP 1998. LNCS, vol. 1520, pp. 147–161. Springer, Heidelberg (1998)
Ackerman, E., Gatewood, L., Rosevar, J., Molnar, G.: Blood Glucose Regulation and Diabetes. In: Heinmets, F. (ed.) Concepts and Models of Biomathematics, ch. 4, pp. 131–156. Marcel Dekker, New York (1969)
Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964)
Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)
Lohner, R.J.: Enclosing the solutions of ordinary initial and boundary value problems. In: Computer Arithmetic: Scientific Computation and Programming Languages, pp. 255–286. Wiley - Teubner Series in Computer Science, Stuttgart (1987)
Nedialkov, N., Jackson, K.: Software Issues in Validated ODE Solving. Technical Report, Department of Computer Science, University of Toronto, Canada (1998)
Cleary, J.G.: Logical Arithmetic. Future Generation Computing Systems 2(2), 125–149 (1987)
Older, W.: Application of Relational Interval Arithmetic to Ordinary Differential Equations. In: Workshop on Constraint Languages and their use in Problem Modelling, Int’l Logic Programming Symposium, Ithaca, New York (1994)
Hickey, T.J.: CLP(F) and Constrained ODEs. In: Jourdan, Lim, Yap (eds.) Proceedings of the Workshop on Constraint Languages and their use in Problem Modelling, pp. 69–79 (1994)
Lhomme, O.: Consistency Techniques for numeric CSPs. In: Procedures of IJCAI 1993, Chambery, France, pp. 232–238 (1993)
Benhamou, F., McAllester, D., Van Hentenryck, P.: CLP(intervals) revisited. In: Proceedings of the International Logic Programming Symposium. MIT Press, Cambridge (1994)
Benhamou, F., Goualard, F., Granvilliers, L.: An Extension of the WAM for Cooperative Interval Solvers. Technical Report, Department of Computer Science, University of Nantes, France (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cruz, J., Barahona, P. (2000). Handling Differential Equations with Constraints for Decision Support. In: Kirchner, H., Ringeissen, C. (eds) Frontiers of Combining Systems. FroCoS 2000. Lecture Notes in Computer Science(), vol 1794. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720084_8
Download citation
DOI: https://doi.org/10.1007/10720084_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67281-4
Online ISBN: 978-3-540-46421-1
eBook Packages: Springer Book Archive