Track:
Contents
Downloads:
Abstract:
With Leo Joskowicz, I have developed a representation language for conceptual design of mechanical devices. The language uses a mixture of predicates and algebraic relations to describe a mechanism’s parts, positions and motions, allowing abstract, incomplete, and underspecified descriptions of behavior. The main contribution of this language is that it cleanly and simply captures the incomplete nature of design specifications. We have also partially implemented a design verification algorithm based on the language.