Loading…

Constraint reasoning for differential models /

Focuses on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations by means of co...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Cruz, Jorge
Format: Electronic eBook
Language:Inglés
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2005.
Series:Frontiers in artificial intelligence and applications ; v. 126.
Subjects:
Online Access:Texto completo
Table of Contents:
  • Title page; Table of Contents; Introduction; Interval Constraints; Constraint Satisfaction Problems; Interval Analysis; Constraint Propagation; Partial Consistencies; Global Hull-Consistency; Local Search; Experimental Results; Interval Constraints for Differential Equations; Ordinary Differential Equations; Constraint Satisfaction Differential Problems; Solving a CSDP; Biomedical Decision Support with ODEs; Conclusions and Future Work; References; Appendix A: Interval Analysis Theorems; Appendix B: Constraint Propagation Theorems.