A Set-Based System for Eliminating Infeasible Designs in Engineering Problems Dominated by Uncertainty
Abstract This paper gives an overview of a system which eliminates infeasible designs from engineering design problems dominated by multiple sources of uncertainty. It outlines methods for representing constraints on sets of values for design parameters using quantified relations, a special class of predicate logic expressions which express some of the causal information inherent in engineering systems. The paper extends constraint satisfaction techniques and describes elimination algorithms that operate on quantified relations and catalogs of toleranced or adjustable parts. It demonstrates the utility of these tools on a simple electronic circuit, and describes their implementation and test in a prototype software tool.