Track:
Contents
Downloads:
Abstract:
Our long term research goal is automating various aspects of reasoning about mechanical devices. Our aim is to develop computational tools to assist in the analysis, simulation, design, validation, and cataloging of devices such as door locks, brakes, and transmissions.