|Title||On linear constraints with uncertain coefficients (Extended Abstract)|
|Author(s)|| Frank Seelisch|
|Type||Technical Report, Misc|
Many engineering tasks can be reformulated as CSPs. There exist digital libraries that contain mathematical models for a great variety of physical components. In an electrics library those are models for Ohmic resistors, diodes, voltage sources, etc. These component models "know" their associated mathematical constraints, and when plugging them together (i.e. connecting them by wires, pipes, etc.), one obtains a mathematical description of the entire artifact modeled (see [MMT]). In practice, the generated constraint models happen to be very large, and consist of many di erent types of constraints, such as linear, non-linear, finite domain, or even procedural constraints.
Usually, one has to consider alternative variants for single components (in design), or distinct behavioural modes of certain components (in diagnosis), which will introduce disjunctions and might produce many different CSP instances.