Constraint Reasoning for Differential Models
Seiten
2005
IOS Press,US (Verlag)
978-1-58603-532-7 (ISBN)
IOS Press,US (Verlag)
978-1-58603-532-7 (ISBN)
- Keine Verlagsinformationen verfügbar
- Artikel merken
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 constraints.
Comparing the major features of biophysical inadequacy was related with the representation of differential equations. System dynamics is often modeled with the expressive power of the existing interval constraints framework. It is clear that the most important are differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focused on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model.
The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables.
Comparing the major features of biophysical inadequacy was related with the representation of differential equations. System dynamics is often modeled with the expressive power of the existing interval constraints framework. It is clear that the most important are differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focused on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such a framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model.
The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables.
| Erscheint lt. Verlag | 1.8.2005 |
|---|---|
| Reihe/Serie | Frontiers in Artificial Intelligence and Applications ; v. 126 |
| Verlagsort | Amsterdam |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Analysis |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Technik ► Elektrotechnik / Energietechnik | |
| ISBN-10 | 1-58603-532-0 / 1586035320 |
| ISBN-13 | 978-1-58603-532-7 / 9781586035327 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
De Gruyter Oldenbourg (Verlag)
CHF 83,90
