Behavioral synthesis in CADET, a case-based design tool

Dundee Navin-Chandra and Katia Sycara
Conference Paper, Proceedings of the Seventh IEEE Conference on Artificial Intelligence for Applications, Vol. 1, pp. 217 - 221, February, 1991

View Publication

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


The authors present an approach to the conceptual design of hydromechanical systems using a case base of previous designs. The authors outline an approach to transforming the given specifications in a behavior-preserving manner, so as to enable retrieval, and subsequent synthesis of relevant component cases and pieces of cases. The investigation of the behavior preserving transformational strategies is conducted within a framework of a case based reasoning methodology for mechanical design and has been implemented in the CADET (case design tool) system. The process consists of applying behavior-preserving transformations, based on qualitative calculus, to an abstract description of the desired behavior of the device until a description is found that closely corresponds to some collection of relevant cases.

author = {Dundee Navin-Chandra and Katia Sycara},
title = {Behavioral synthesis in CADET, a case-based design tool},
booktitle = {Proceedings of the Seventh IEEE Conference on Artificial Intelligence for Applications},
year = {1991},
month = {February},
volume = {1},
pages = {217 - 221},
} 2017-11-02T11:56:22-04:00